OAI/Geometry/CylinderCovering/Nilpotent/ApexIdentities.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.NilpotentApexIdentities.selected_apex_clauses line 12
2. theorem OAI.CylinderCovering.NilpotentApexIdentities.collapsed_apex_covered line 17
3. theorem OAI.CylinderCovering.NilpotentApexIdentities.endpoint_count line 26
4. theorem OAI.CylinderCovering.NilpotentApexIdentities.weightedArea_neg_sign line 29
5. theorem OAI.CylinderCovering.NilpotentApexIdentities.paired_weighted_cost line 33
6. theorem OAI.CylinderCovering.NilpotentApexIdentities.both_physical_apex_covers line 42