Documentation
LeanPool
.
SingularModuli
.
Imports
Search
return to top
source
Imports
Init
LeanPool.SingularModuli
LeanPool.SingularModuli.QuadraticOrder.Basic
LeanPool.SingularModuli.QuadraticOrder.CanonicalForm
LeanPool.SingularModuli.QuadraticOrder.Discriminant
LeanPool.SingularModuli.QuadraticOrder.Norm
LeanPool.SingularModuli.QuadraticOrder.Prime
LeanPool.SingularModuli.QuadraticOrder.RootCounting
LeanPool.SingularModuli.QuadraticOrder.Verification
LeanPool.SingularModuli.QuadraticOrder.Prime.Inert
LeanPool.SingularModuli.QuadraticOrder.Prime.PolyMod
LeanPool.SingularModuli.QuadraticOrder.Prime.QuotientIso
LeanPool.SingularModuli.QuadraticOrder.Prime.Ramified
LeanPool.SingularModuli.QuadraticOrder.Prime.Split
Imported by