User contributions for 130.225.98.243

13 November 2014

• 15:3415:34, 13 November 2014 diff hist −1 Cofinality →Cofinality of cardinals: AC implies that cardinals are ordinals, so any nonempty subset has a least element. No need for infimum. current