package coq-mathcomp-character
Mathematical Components Library on character theory
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.13.0.tar.gz
sha256=4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0
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: 28 Oct 2021
Dependencies (1)
-
coq-mathcomp-field
= version
Dev Dependencies
None
Used by (1)
-
coq-mathcomp-odd-order
>= "1.13.0" & < "2.0.0"
Conflicts
None
On This Page