Theorem MulAction.mem_orbit_smul

Modification history