OAI/Geometry/Borsuk/SphereGeometry/SphereMoments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BorsukNine.sphere_coord_integrable line 15
2. lemma OAI.BorsukNine.sphere_coord_cross line 23
3. lemma OAI.BorsukNine.sphere_coord_diag_eq line 37
4. lemma OAI.BorsukNine.sphere_coord_diag line 48
5. lemma OAI.BorsukNine.sphere_quadratic_integral line 69