Theorem MulAction.orbitRel.Quotient.mem_orbit

Modification history