Theorem Module.IsTorsionBySet.mk_smul

Modification history