`OAI/Combinatorics/PolynomialVacuum/Geometry/`

62 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

CellEuler.lean 1 import, no declarations
HoneycombLocalFlow.lean 15 declarations
HoneycombVertex.lean 15 declarations
IncidentNesting.lean 8 declarations
PolygonFlow.lean 1 import, no declarations
PolygonLaminar.lean 8 declarations
PolygonOrientationAssembly.lean 12 declarations
PolygonTurning.lean 4 declarations