User contributions for 1.36.169.22
Jump to navigation
Jump to search
5 June 2025
- 12:2512:25, 5 June 2025 diff hist −364 Intuitionistic type theory Remove incorrect statement about univalence (HoTT Book is also non-cumulative) current