diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 13:36:32 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 13:36:32 -0700 |
| commit | 7875edd03cce586a8c9f0b95dedffb390bfdbd61 (patch) | |
| tree | 5bfa30ec65d5a2c1f1f0353e9e79a4d07033f0b3 /Functor/Instance/Nat/Pull.agda | |
| parent | f49ea3407d8459cdf29d14390644d14a9702d032 (diff) | |
Generalize systems to (co)commutative (co)monoids
Diffstat (limited to 'Functor/Instance/Nat/Pull.agda')
0 files changed, 0 insertions, 0 deletions