Theorem Ideal.spanNorm_localization

Modification history