Theorem MulAction.mapsTo_smul_orbit

Modification history