package rocq-mathcomp-fingroup
Mathematical Components Library on finite groups
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.5.0.tar.gz
sha256=3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1
Description
This library contains definitions and theorems about finite groups, group quotients, group morphisms, group presentation, group action...
Tags
keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.fingroupPublished: 13 Nov 2025
Dependencies (1)
-
rocq-mathcomp-boot
= version
Dev Dependencies
None
Used by (3)
-
coq-mathcomp-fingroup
>= "2.5.0" -
rocq-mathcomp-algebra
>= "2.5.0" -
rocq-rouche-capelli
>= "0.2.0"
Conflicts
None
On This Page