package coq-mathcomp-fingroup
Mathematical Components Library on finite groups
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.14.0.tar.gz
sha256=d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31
Description
This library contains definitions and theorems about finite groups, group quotients, group morphisms, group presentation, group action...
Tags
keyword:finite groups keyword:small scale reflection keyword:mathematical components keyword:odd order theorem logpath:mathcomp.fingroupPublished: 19 Jan 2022
Dependencies (1)
-
coq-mathcomp-ssreflect
= version
Dev Dependencies
None
Used by (11)
-
coq-htt
>= "1.2.0" -
coq-htt-core
>= "2.0.1" -
coq-infotheo
>= "0.3.6" & < "0.6.1" - coq-mathcomp-abel
-
coq-mathcomp-algebra
= "1.14.0" -
coq-mathcomp-analysis
>= "0.3.13" & < "0.6.0" - coq-mathcomp-cad
- coq-mathcomp-classical
-
coq-mathcomp-odd-order
= "1.13.0" - coq-mathcomp-tarjan
-
coq-monae
>= "0.4" & < "0.7.0"
Conflicts
None
On This Page