package rocq-mathcomp-solvable

You can search for identifiers within the package.

in-package search v0.2.0

Mathematical Components Library on finite groups (II)

Install

Dune Dependency

math-comp.github.io Edit opam file Versions (2)

Authors

T

The Mathematical Components team

Maintainers

M

Mathematical Components <mathcomp-dev@sympa.inria.fr>

Sources

mathcomp-2.5.0.tar.gz

sha256=3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1

Description

This library contains more definitions and theorems about finite groups.

Tags

keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.solvable

Published: 13 Nov 2025

Dependencies (1)

rocq-mathcomp-algebra = version

Dev Dependencies

None

Used by (3)

coq-mathcomp-solvable >= "2.5.0"
rocq-mathcomp-field >= "2.5.0"
rocq-rouche-capelli >= "0.2.0"

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by (3)
Conflicts