Theorem Subgroup.smul_toLeftFun

Modification history