summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Ordered/StrictTotal/Bundles.agda
AgeCommit message (Expand)Author
2022-01-16Define ordered algebraic structures.Greg Brown