User contributions for 72.229.72.20
For 72.229.72.20 talk block log logs filter log
1 May 2024
- 04:5004:50, 1 May 2024 diff hist +1 Basic research No edit summary current
4 November 2022
- 19:1119:11, 4 November 2022 diff hist +3 Covering space No edit summary
15 September 2022
- 21:1121:11, 15 September 2022 diff hist +10 Adjoint functors No edit summary