Talk:Proper Subset of Finite Ordinal is Equivalent to Smaller Ordinal

From ProofWiki
Jump to navigation Jump to search

I'm all at sea with that "questionable" template. Can someone explain what the problem is and what can be used to correct it? The proof as given matches the thrust of the contents of Halmos. --prime mover (talk) 20:02, 7 October 2015 (UTC)