summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Ordered/StrictTotal/Properties/Field.agda
AgeCommit message (Expand)Author
2022-04-02Add some properties of ordered fields.Greg Brown