Theorem MulAction.smul_orbit_subset

Modification history