Theorem NoZeroSMulDivisors.trans_faithfulSMul

Modification history