[ refactor ] (Re)define (Is)TightApartness and (Is)HeytingCommutativeRing/(Is)HeytingField#2588
Open
jamesmckinna wants to merge 16 commits intoagda:masterfrom jamesmckinna:refactor-heyting
Commits
Commits on Feb 18, 2025
Commits on Feb 19, 2025
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed