Theorem Ideal.NoZeroSMulDivisors.iff_ker_algebraMap_eq_bot

Modification history