summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Field.agda
AgeCommit message (Expand)Author
2021-12-19Modify multiplicative inverse to not require zero.Greg Brown
2021-12-17Introduce definition of a field.Greg Brown