Category:Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union

From ProofWiki
Jump to navigation Jump to search