OAI/Geometry/RuledCovering/SingularGeometry.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.RuledApproximation.singular_geometric_coverline 12
OAI/Geometry/RuledCovering/SingularGeometry.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.RuledApproximation.singular_geometric_cover line 12