User contributions for Czg
Jump to navigation
Jump to search
4 May 2024
- 23:5223:52, 4 May 2024 diff hist 0 m Lexicographic Order on Pair of Well-Ordered Sets is Well-Ordering prove the target more precisely
1 May 2024
- 11:5211:52, 1 May 2024 diff hist −3 m Infinite Set has Countably Infinite Subset/Proof 2 I use Chrome 123.0.6312.122. The $...$ seems to must be put in one line. Maybe you have one better solution for this problem.