Theorem Ideal.exists_subset_radical_span_sup_of_subset_radical_sup

Modification history