Category:Mapping Induced on Power Set by Surjection is Surjection

From ProofWiki
Jump to: navigation, search