diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-04-09 16:24:18 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-04-09 16:24:18 +0100 |
| commit | c6aee22d68aa614619cecc08a15332294a9de0de (patch) | |
| tree | 6b589e18b902c21d481bedf278f51123a5f55ac9 /src/Helium/Algebra/Ordered/StrictTotal/Properties/Magma.agda | |
| parent | 662ca19ed7dabecdf17cdd555132f106bb768e58 (diff) | |
Add some more algebraic properties.
Diffstat (limited to 'src/Helium/Algebra/Ordered/StrictTotal/Properties/Magma.agda')
0 files changed, 0 insertions, 0 deletions