Theorem Ideal.NoZeroSMulDivisors.ker_algebraMap_eq_bot

Modification history