Theorem Ideal.NoZeroSMulDivisors.of_ker_algebraMap_eq_bot

Modification history