diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-16 19:51:17 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-16 19:51:17 -0500 |
| commit | e5b3cd06b1ba2504831db203a6be30c184df3274 (patch) | |
| tree | a999bb66efc17d34be6e4de4f7bca497d49731b0 /Nat/Properties.agda | |
| parent | d7fb0a54d661f82282cb7175ba3b133aa74024ed (diff) | |
Add Preimage symmetric monoidal functor
Diffstat (limited to 'Nat/Properties.agda')
0 files changed, 0 insertions, 0 deletions