User contributions for Assume Without Loss
Appearance
A user with 2 edits. Account created on 25 June 2024.
25 June 2024
- 21:5021:50, 25 June 2024 diff hist −12 Complete lattice Improved style of formal definition. Also fixed spelling and punctuation. Tags: Visual edit Newcomer task Newcomer task: copyedit
- 21:0521:05, 25 June 2024 diff hist −1 m Model theory Fixed spelling. current Tag: Visual edit