Theorem MulAction.mem_orbit_of_mem_orbit_submonoid

Modification history