Talk:Ordinal Equal to Rank

From ProofWiki
Jump to navigation Jump to search

Does this prove 'Rank is Well-Defined'? --Lord_Farin (talk) 07:21, 24 August 2012 (UTC)