Theorem MulAction.orbitRel.Quotient.orbit_inj

Modification history