diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-28 17:20:33 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-28 17:20:33 -0500 |
| commit | 0bf55c23ad3bee621d0e7425f5a5e875254e3450 (patch) | |
| tree | ea5dbac95aa1fa9449b785cb5be3078790a88aea /Functor/Monoidal/Instance/Nat/Preimage.agda | |
| parent | 2cd74f160389fe2ab2b30ab628fbb9b712f06faf (diff) | |
| parent | 2439066ad6901ed1e083f48fb7ac4fd7a7840d27 (diff) | |
Merge branch 'hypergraph-conversion'
Diffstat (limited to 'Functor/Monoidal/Instance/Nat/Preimage.agda')
0 files changed, 0 insertions, 0 deletions