Theorem Ideal.span_eq_top_iff_finite

Modification history