OAI/Geometry/Immersion/ClosedSurface/AtlasWeights.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ClosedSurfaceR4.AtlasCellPhase line 16
2. def OAI.ClosedSurfaceR4.atlasSecondTensor line 18
3. def OAI.ClosedSurfaceR4.atlasGram line 21
4. def OAI.ClosedSurfaceR4.atlasActive line 25
5. theorem OAI.ClosedSurfaceR4.atlas_phase_weight_constants_with_catalog line 34
6. theorem OAI.ClosedSurfaceR4.atlas_phase_weight_constants line 111