OAI/Geometry/CylinderCovering/Nilpotent/RatePhysical.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.NilpotentRate.tile_isSquareTile line 10
2. theorem OAI.CylinderCovering.NilpotentRate.construction_enumeration line 15
3. theorem OAI.CylinderCovering.NilpotentRate.construction_physical_realization line 54
4. theorem OAI.CylinderCovering.NilpotentRate.smoothRate_physical line 111