Theorem MulAction.orbit_smul_subset

Modification history