OAI/Geometry/RuledCovering/ConeVolume.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RuledApproximation.coneTriangle line 13
2. lemma OAI.RuledApproximation.coneTriangle_isCompact line 16
3. lemma OAI.RuledApproximation.coneTriangle_volume line 29
4. def OAI.RuledApproximation.coneBand line 51
5. lemma OAI.RuledApproximation.coneBand_isCompact line 54
6. lemma OAI.RuledApproximation.coneBand_volume line 63
7. lemma OAI.RuledApproximation.coneBand_volume_vertical line 86
8. lemma OAI.RuledApproximation.singularDomain_volume_vertical line 101