Category:Union of Slowly Well-Ordered Class under Subset Relation is Well-Orderable

From ProofWiki
Jump to navigation Jump to search