Theorem MulAction.orbit_subgroup_subset

Modification history