OAI/Geometry/HeilbronnTriangle/OrbitCardinality.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.OrbitCardinality.relIndex_mul_index_comm line 10
2. theorem OAI.Problem355.OrbitCardinality.stabilizer_subgroup line 21
3. theorem OAI.Problem355.OrbitCardinality.kernel_orbit_card_mul_card line 26
4. def OAI.Problem355.OrbitCardinality.orbitFiberEquivStabilizer line 36
5. theorem OAI.Problem355.OrbitCardinality.card_orbit_fiber line 50
6. theorem OAI.Problem355.OrbitCardinality.orbit_card_mul_stabilizer_card line 55
7. theorem OAI.Problem355.OrbitCardinality.orbit_bound_of_cardinal_estimates line 61
8. theorem OAI.Problem355.OrbitCardinality.kernel_orbit_bound line 86