Theorem Ideal.spanNorm_mul_of_bot_or_top

Modification history