Theorem NoZeroSMulDivisors.iff_faithfulSMul

Modification history