Documentation
LeanPool
.
Erdos97ConvexOctagon
.
CoverageCertificate
Search
return to top
source
Imports
Init
LeanPool.Erdos97ConvexOctagon.CoverageCertificateSoundness
Mathlib.Algebra.Order.Algebra
Mathlib.Tactic.NormNum.GCD
Mathlib.Analysis.SpecialFunctions.Pow.NNReal
Mathlib.Data.Sym.Sym2.Init
Imported by
Audited flat coverage certificates
#