OAI/Geometry/Borsuk/Projectors/FiniteOpenGlue.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BorsukNine.finiteOpenGlue line 8
2. lemma OAI.BorsukNine.finiteOpenGlue_eq line 12
3. lemma OAI.BorsukNine.finiteOpenGlue_continuousOn line 23
4. lemma OAI.BorsukNine.finiteOpenGlue_continuousOn_prod line 36