User contributions for 2601:280:5C81:2EB0:51C6:3FF1:69BB:AA7D
Jump to navigation
Jump to search
28 October 2024
- 02:0302:03, 28 October 2024 diff hist +2,642 N Finite character →Properties: Tukeys lemma is equivalent to AC (reference jech axiom of choice page 10) current