Theorem Ideal.mul_eq_bot

Modification history