Documentation
LeanPool
.
Erdos132N14
.
Imports
Search
return to top
source
Imports
Init
LeanPool.Erdos132N14
LeanPool.Erdos132N14.Basic
LeanPool.Erdos132N14.DiameterDescent
LeanPool.Erdos132N14.HopfPannwitz
LeanPool.Erdos132N14.HopfPannwitzGeometry
LeanPool.Erdos132N14.Main
LeanPool.Erdos132N14.PublishedInputs
LeanPool.Erdos132N14.RegularTridecagon
Imported by