Commit 2024-01-09 17:16 25bcbbb6
View on Github →feat: Flooring/ceiling division (#9149)
This PR defines flooring and ceiling division as the right and left adjoints to the map
b ↦ a • b
.
feat: Flooring/ceiling division (#9149)
This PR defines flooring and ceiling division as the right and left adjoints to the map
b ↦ a • b
.