Theorem MulAction.smul_mem_orbit_smul

Modification history