Theorem Ideal.smul_bot

Modification history