package coq-mathcomp-solvable

  1. Overview
  2. No Docs
Mathematical Components Library on finite groups (II)

Install

Dune Dependency

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

Authors

  1. T
    The Mathematical Components team

Maintainers

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

Sources

mathcomp-2.3.0.tar.gz
sha256=19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec

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: 29 Nov 2024

Dependencies (1)

  1. coq-mathcomp-algebra = version

Dev Dependencies

None

Used by (7)

  1. coq-infotheo >= "0.5.1" & != "0.6.1" & != "0.7.5"
  2. coq-mathcomp-abel
  3. coq-mathcomp-analysis >= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "0.5.4" | >= "1.0.0"
  4. coq-mathcomp-cad
  5. coq-mathcomp-field >= "2.3.0"
  6. coq-mathcomp-odd-order = "1.13.0"
  7. coq-monae >= "0.4.5"

Conflicts

None