Definition talk:Subset
From ProofWiki
It wasn't an error in quantifying as such, it was an attempt to parenthesise $\implies$ with precedence over $\iff$. But your edit hasn't done any harm, so no worries. --prime mover 17:06, 12 September 2011 (CDT)