Theorem Ideal.spanNorm_spanNorm_of_bot_or_top

Modification history