OAI/Geometry/CylinderCovering/Rational/DictionaryBridge.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RationalDictionary.centeredTetrahedron_eq_reference line 11
2. theorem OAI.RationalDictionary.centeredFirstSweep_eq_lowerSweep line 20
3. theorem OAI.RationalDictionary.centeredSecondSweep_eq_upperSweep line 26
4. theorem OAI.RationalDictionary.centeredWeight_eq_physicalWeight line 32
5. theorem OAI.RationalDictionary.centeredCost_eq_weightedCost line 46
6. theorem OAI.RationalDictionary.actual_coordinate_identity line 53
7. theorem OAI.RationalDictionary.coordinate_cost_dictionary line 77