OAI/Geometry/CylinderCovering/Nilpotent/Corollaries.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.Nilpotent.exists_source_collar line 10
2. theorem OAI.CylinderCovering.Nilpotent.signed_sweep_finite_at_tolerance line 19
3. theorem OAI.CylinderCovering.Nilpotent.tetrahedron_finite_at_tolerance line 27
4. theorem OAI.CylinderCovering.Nilpotent.finite_counterexample_of_integral_saving line 44