Changes related to "Well-ordering principle"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
18 April 2014
- (diff | hist) . . Module:Yesno; 10:35 . . (+113) . . Mr. Stradivarius (use the Lua string.lower function instead of mw.ustring.lower; this makes the function around 25x faster)
- (diff | hist) . . Module:Arguments; 10:30 . . (+546) . . Mr. Stradivarius (memoize nils using a separate nilArgs table; this fixes a bug where nil values were being iterated over with pairs())
16 April 2014
- (diff | hist) . . m International Standard Book Number; 17:58 . . (-3) . . Drewbrev (→EAN format used in barcodes, and upgrading: Corrected misinformation - ISBN13 will always be 13 digits)
- (diff | hist) . . Axiom of regularity; 16:57 . . (+28) . . 22.214.171.124 (→Regularity, the cumulative hierarchy, and types)
- (diff | hist) . . Axiom; 05:31 . . (-99) . . 126.96.36.199 (The Axiom of Choice is no longer controversial and has not been for a long time. It's independence from ZFC means it is only as controversial as the use of set theory.)