[ refactor ] (Re)define (Is)TightApartness and (Is)HeytingCommutativeRing/(Is)HeytingField#2588
Open
jamesmckinna wants to merge 36 commits into
Open
[ refactor ] (Re)define (Is)TightApartness and (Is)HeytingCommutativeRing/(Is)HeytingField#2588jamesmckinna wants to merge 36 commits into
(Is)TightApartness and (Is)HeytingCommutativeRing/(Is)HeytingField#2588jamesmckinna wants to merge 36 commits into
Commits
Commits on Feb 18, 2025
Commits on Feb 19, 2025
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 21, 2025
Commits on Jun 11, 2026
Commits on Jun 12, 2026
Commits on Jun 15, 2026
Commits on Jun 16, 2026
Commits on Jun 22, 2026
Commits on Jul 1, 2026
Commits on Jul 3, 2026
Commits on Jul 16, 2026
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
Commits on Jul 17, 2026
- committed