diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 15:51:09 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 15:51:09 +0000 |
| commit | 729a483d9ab25b0cfb2471b22d723960c7f21b0d (patch) | |
| tree | e9c70de409ecffe67a6b11b6435a22e67a3e027d /Everything.agda | |
| parent | 4d9a1102c3259b0d22787bb83eef652e3e870257 (diff) | |
I: 1: b: show ≡ ≇ ≤ in Preorders
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions