OAI/Topology/ArtinGroups/Geometry/PermutahedronBallHomeomorph.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.Geometric.orbitPoint_simple line 12
2. lemma OAI.HarmonicArtin.Geometric.permutahedron_affineSpan line 17
3. lemma OAI.HarmonicArtin.Geometric.permutahedron_interior_nonempty line 36
4. theorem OAI.HarmonicArtin.Geometric.permutahedron_ball_pair line 39
5. def OAI.HarmonicArtin.Geometric.permutahedronBallHomeomorph line 50
6. lemma OAI.HarmonicArtin.Geometric.permutahedron_dimension line 58