Theorem MulAction.orbit_submonoid_subset

Modification history