Theorem algebraMapSubmonoid_le_nonZeroDivisors_of_faithfulSMul

Modification history