User contributions for Wenchuan Zhao
Jump to navigation
Jump to search
10 March 2024
- 10:1310:13, 10 March 2024 diff hist −13 Set with Choice Function is Well-Orderable No edit summary Tags: Manual revert Visual edit
- 10:1110:11, 10 March 2024 diff hist +13 Set with Choice Function is Well-Orderable No edit summary Tag: Visual edit
- 10:0710:07, 10 March 2024 diff hist +6 Set with Choice Function is Well-Orderable No edit summary Tag: Visual edit
- 10:0610:06, 10 March 2024 diff hist −4 Set with Choice Function is Well-Orderable No edit summary Tag: Visual edit
22 February 2024
- 14:0514:05, 22 February 2024 diff hist −1 Transfinite Recursion Theorem/Formulation 4 Fixed a small error in Condition 3 current