diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:46:34 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 10:46:34 -0700 |
| commit | f49ea3407d8459cdf29d14390644d14a9702d032 (patch) | |
| tree | ef2b8a24f5e9226e69dd49f5e687d34ae6d8776c /Functor/Instance/Nat/Circ.agda | |
| parent | 50b9117ebac5f16db7b2ddc59c52a28129e0a618 (diff) | |
Add semimodules to commutative monoids functor
Diffstat (limited to 'Functor/Instance/Nat/Circ.agda')
0 files changed, 0 insertions, 0 deletions