OAI/Geometry/CylinderCovering/Rational/UncenteredThreshold.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RationalDictionary.threshold_coordinate_identity line 11
2. theorem OAI.RationalDictionary.labelMap_lineMap line 37
3. theorem OAI.RationalDictionary.uncentered_threshold_quantitative line 57
4. theorem OAI.RationalDictionary.uncentered_threshold line 103
5. theorem OAI.RationalDictionary.uncentered_paired_coverage line 112