Theorem Ideal.spanNorm_spanNorm

Modification history