OAI/Combinatorics/Honeycomb/
192 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- FiniteCylinder.lean 103 declarations
- PolygonMoment.lean 89 declarations
OAI/Combinatorics/Honeycomb/192 declarations, 0 contain sorry, 0 declared as axioms; 2 files