package coq-mathcomp-character
Mathematical Components Library on character theory
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.11.0.tar.gz
sha256=b16108320f77d15dd19ecc5aad90775b576edfa50c971682a1a439f6d364fef6
Description
This library contains definitions and theorems about group representations, characters and class functions.
Tags
keyword:algebra keyword:character keyword:small scale reflection keyword:mathematical components keyword:odd order theorem logpath:mathcomp.characterPublished: 09 Jun 2020
Dependencies (1)
-
coq-mathcomp-field
= version
Dev Dependencies
None
Used by (1)
-
coq-mathcomp-odd-order
>= "1.12.0" & < "1.14.0"
Conflicts
None
On This Page