Monus _∸_ is right adjoint to addition _+_ across usual _≤_ preorder#1949
Merged
MatthewDaggitt merged 8 commits intoagda:masterfrom May 5, 2023
Merged
Monus _∸_ is right adjoint to addition _+_ across usual _≤_ preorder#1949MatthewDaggitt merged 8 commits intoagda:masterfrom
_∸_ is right adjoint to addition _+_ across usual _≤_ preorder#1949MatthewDaggitt merged 8 commits intoagda:masterfrom
Commits
Commits on Apr 22, 2023
Commits on Apr 23, 2023
- committed
- committed
- committed