Theorem Ideal.le_spanNorm_spanNorm

Modification history