OAI/Topology/ArtinGroups/ParabolicIntersections/PointedCappedCandidate.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.HarmonicArtin.ParabolicIntersections.PointedCappedCandidate line 23
2. lemma OAI.HarmonicArtin.ParabolicIntersections.PointedCappedCandidate.cartan_nonpos line 39
3. lemma OAI.HarmonicArtin.ParabolicIntersections.PointedCappedCandidate.move line 45
4. lemma OAI.HarmonicArtin.ParabolicIntersections.PointedCappedCandidate.local_representatives line 58
5. lemma OAI.HarmonicArtin.ParabolicIntersections.PointedCappedCandidate.probe_euler line 67