package coq-mathcomp-field
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Mathematical Components Library on Fields
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.14.0.tar.gz
sha256=d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31
Description
This library contains definitions and theorems about field extensions, galois theory, algebraic numbers, cyclotomic polynomials...
Tags
keyword:algebra keyword:field keyword:small scale reflection keyword:mathematical components keyword:odd order theorem logpath:mathcomp.fieldPublished: 19 Jan 2022
Dependencies (1)
-
coq-mathcomp-solvable
= version
Dev Dependencies
None
Used by (13)
- coq-geocoq-algebraic
-
coq-infotheo
>= "0.0.7" & < "0.1.1" | >= "0.3.6" & < "0.6.1"
-
coq-libvalidsdp
>= "1.0.0" & < "1.0.2"
- coq-mathcomp-abel
-
coq-mathcomp-analysis
>= "0.3.13"
- coq-mathcomp-apery
- coq-mathcomp-cad
-
coq-mathcomp-character
= "1.14.0"
-
coq-mathcomp-odd-order
= "1.13.0"
-
coq-mathcomp-real-closed
>= "1.1.2"
-
coq-mathcomp-sum-of-two-square
>= "1.0.1"
-
coq-monae
>= "0.4" & < "0.7.0"
-
coq-validsdp
>= "1.0.0" & < "1.0.2"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page