Theorem MulAction.mem_orbit_of_mem_orbit_subgroup

Modification history