OAI/Geometry/Borsuk/Support/PurityChart.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BorsukNine.purityChart line 16
2. lemma OAI.BorsukNine.Admissible.purityChart_isOpen line 22
3. lemma OAI.BorsukNine.purityChart_unit line 49
4. lemma OAI.BorsukNine.purityChart_fibre line 54
5. lemma OAI.BorsukNine.purityChart_fibre_unit line 59