OAI/Combinatorics/SumProduct/Alignment/RoughTopological01.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RoughCoveredFace.grid_second_degree_cover line 19
2. theorem OAI.RoughCoveredFace.source_raw_face_grid_decay line 85
3. def OAI.RoughTopologicalFace.TopologicalValid line 134
4. def OAI.RoughTopologicalFace.Approximable line 159
5. theorem OAI.RoughTopologicalFace.continuous_approximable line 167
6. theorem OAI.RoughTopologicalFace.Approximable.compare line 191
7. def OAI.RoughTopologicalFace.ApproxValid line 214
8. theorem OAI.RoughTopologicalFace.source_face_decay line 247