OAI/Topology/ArtinGroups/Geometry/CoordinateExtension.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.Geometric.parabolic_exterior line 13
2. def OAI.HarmonicArtin.Geometric.coordinateExtension line 46
3. lemma OAI.HarmonicArtin.Geometric.coordinateExtension_apply line 49
4. lemma OAI.HarmonicArtin.Geometric.coordinateExtension_outside line 56
5. lemma OAI.HarmonicArtin.Geometric.coordinateExtension_restrict line 65
6. theorem OAI.HarmonicArtin.Geometric.spherical_dual_chamber_cover line 72