package coq-mathcomp-fingroup

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

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.1.0.tar.gz
sha256=ca000eb4cbd80f9088fd5f6a6745eebf9be3c0d7430fa3fde10a790b99466d26

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.fingroup

Published: 24 Oct 2023

Dependencies (1)

  1. coq-mathcomp-ssreflect = version

Dev Dependencies

None

Used by (11)

  1. coq-htt >= "1.2.0"
  2. coq-htt-core >= "2.0.1"
  3. coq-infotheo >= "0.5.1" & < "0.6.1"
  4. coq-mathcomp-abel
  5. coq-mathcomp-algebra = "2.1.0"
  6. coq-mathcomp-analysis >= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "0.5.4"
  7. coq-mathcomp-cad
  8. coq-mathcomp-classical
  9. coq-mathcomp-odd-order = "1.13.0"
  10. coq-mathcomp-tarjan
  11. coq-monae >= "0.4.5" & < "0.7.0"

Conflicts

None