Talk:Set Intersection Preserves Subsets/Corollary/Proof 2

From ProofWiki
Jump to navigation Jump to search

Who said they have to be WFFs? --prime mover 23:28, 29 June 2012 (UTC)

Oh well, suppose you can treat them as basic propositions indeed; nvm. --Lord_Farin 06:30, 30 June 2012 (UTC)
Retrieved from "https://proofwiki.org/w/index.php?title=Talk:Set_Intersection_Preserves_Subsets/Corollary/Proof_2&oldid=96442"