summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Ordered/StrictTotal/Morphism/Structures.agda
AgeCommit message (Collapse)Author
2022-04-02Add more properties for ordered structures.Greg Brown