diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 05:48:02 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 05:48:02 -0500 |
| commit | b0dc79e53f4f39bb4507fc8646ad2551770afa0c (patch) | |
| tree | 8140ece20e0e6cc259322d79ab8c6b63b7b78476 /Nat/Properties.agda | |
| parent | 866dd6d8510bb5dd56966a99e73b1681763bbfc5 (diff) | |
Define dagger-2-posets
Diffstat (limited to 'Nat/Properties.agda')
0 files changed, 0 insertions, 0 deletions