Template:Contraction-closed ideal property: Difference between revisions