Theorem Ideal.spanNorm_singleton

Modification history