package rocq-mathcomp-field
Mathematical Components Library on Fields
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.4.0.tar.gz
sha256=6307218d7e434fb6ffc81b9275c673d3f7f1f4884ad59b904abd205c437021a0
Description
This library contains definitions and theorems about field extensions, galois theory, algebraic numbers, cyclotomic polynomials...
Tags
keyword:small scale reflection keyword:mathematical components keyword:algebra keyword:field logpath:mathcomp.fieldPublished: 15 Apr 2025
On This Page