Theorem MulAction.orbitRel.Quotient.mem_subgroup_orbit_iff'

Modification history