coq-mathcomp/mathcomp/algebra/CeCILL-B, branch master Library of mathematical components formalized in Coq fix symlinks to README, INSTALL and LICENSE 2018-04-20T12:19:59+00:00 Enrico Tassi 2018-04-20T12:19:59+00:00 908b440bf9d8c5d2a9005d8651ced54a618d85cf 






packaging fingroup and algebra
2015-03-19T14:51:00+00:00

Cyril Cohen

2015-03-19T14:51:00+00:00

0d2a1e7388d45776700c4400781e1aa71a0f0060

The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)





The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)