OAI/Geometry/CylinderCovering/Barycentric/EmbeddingArea.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RadialCoordinates.canonical_scaledMap line 12
2. lemma OAI.RadialCoordinates.firstBase_area line 18
3. lemma OAI.RadialCoordinates.secondBase_area line 37
4. lemma OAI.RadialCoordinates.barycentric_totalArea_eq line 56