Theorem faithfulSMul_iff_injective_smul_one

Modification history