Theorem MulAction.orbitRel.Quotient.orbit_injective

Modification history