Talk:Union of Set of Ordinals is Ordinal/Corollary/Proof 2

From ProofWiki
Jump to navigation Jump to search

Are the redlinks intentional? How are we going to keep track of them and the names chosen? — Lord_Farin (talk) 11:53, 26 June 2022 (UTC)