Theorem Ideal.subset_span

Modification history