Theorem Ideal.exists_subset_radical_span_sup_span_of_subset_radical_sup

Modification history