diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-30 13:56:37 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-30 13:56:37 -0500 |
| commit | be685059304423e5a5cbb176b44aef1a4a76325b (patch) | |
| tree | 5fa7f6d64eb428e0edffab0467a14afea0b922d2 /Functor/Properties.agda | |
| parent | e4ab2f40d7713d871bae5e23f6f81ea5eb9d2de2 (diff) | |
Add monoids / monoid objects in setoids equivalencemain
Diffstat (limited to 'Functor/Properties.agda')
0 files changed, 0 insertions, 0 deletions