OAI/Geometry/CAT0Fillings/Prism/Family.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CAT0Fillings.prismFamily line 37
2. lemma OAI.CAT0Fillings.prismFamily_current line 40
3. lemma OAI.CAT0Fillings.prismFamily_rectifiable line 55
4. lemma OAI.CAT0Fillings.prismFamily_compactlySupported line 64
5. theorem OAI.CAT0Fillings.exists_rectifiable_prism line 78