Theorem Ideal.span_singleton_absNorm

Modification history