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

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