diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:49:36 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:49:36 -0600 |
| commit | 70fbd45702021e14b93bc294c4c1fa02c5c4758e (patch) | |
| tree | a318af0465a55512be39496313aface62945241c /Functor/Forgetful/Instance/Monoid.agda | |
| parent | 004813816d88b53953fa1d8393264a4c1cf89204 (diff) | |
Rename One properties
Diffstat (limited to 'Functor/Forgetful/Instance/Monoid.agda')
0 files changed, 0 insertions, 0 deletions