diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-27 15:48:31 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-27 15:48:31 -0500 |
| commit | 117ecc76cb40ad6367d8fe6d5b854cbe13a613bf (patch) | |
| tree | 41f140b8c390f74cc16e9ae92d39772c7515f785 /Functor/Monoidal/Instance/Nat/Push.agda | |
| parent | b5a01be0e0eddce5d6171f5d7617c3b0c10dda80 (diff) | |
Add inverted unitary rules for strong monoidal functors
Diffstat (limited to 'Functor/Monoidal/Instance/Nat/Push.agda')
0 files changed, 0 insertions, 0 deletions