Theorem MulAction.orbitRel.Quotient.orbit_eq_orbit_out

Modification history