OAI/Geometry/Immersion/ClosedSurface/GridCover.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ClosedSurfaceR4.PhaseGrid.norm_sub_center_lt line 12
2. theorem OAI.ClosedSurfaceR4.PhaseGrid.compact_subpatch_grid line 20
3. theorem OAI.ClosedSurfaceR4.PhaseGrid.compact_subpatch_polynomial_grid line 76
4. abbrev OAI.ClosedSurfaceR4.PhaseGrid.Label line 98
5. def OAI.ClosedSurfaceR4.PhaseGrid.phaseLabel line 100
6. lemma OAI.ClosedSurfaceR4.PhaseGrid.phase_label_count line 103
7. theorem OAI.ClosedSurfaceR4.PhaseGrid.distinct_labels_on_intersection line 107
8. theorem OAI.ClosedSurfaceR4.PhaseGrid.active_cutoff_count line 120