Theorem Ideal.mul_bot

Modification history