package rocq-mathcomp-solvable
Mathematical Components Library on finite groups (II)
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.6.0.tar.gz
sha256=b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253
Description
This library contains more definitions and theorems about finite groups.
Tags
keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.solvablePublished: 24 Jul 2026
Dependencies (1)
-
rocq-mathcomp-algebra
= version
Dev Dependencies
None
Used by (5)
-
coq-mathcomp-solvable
>= "2.6.0" - rocq-mathcomp-analysis
-
rocq-mathcomp-field
>= "2.6.0" - rocq-monae
-
rocq-rouche-capelli
>= "0.2.0"
Conflicts
None
On This Page