package coq-mathcomp-character
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Mathematical Components Library on character theory
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.15.0.tar.gz
sha256=33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95
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: 30 Jun 2022
Dependencies (1)
-
coq-mathcomp-field
= version
Dev Dependencies
None
Used by (1)
-
coq-mathcomp-odd-order
>= "1.13.0" & < "2.0.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page