diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-05 17:50:02 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-05 17:50:02 -0500 |
| commit | 1e73f2658f6d8d1559649b2cd97040f494dc1c96 (patch) | |
| tree | 711115595c33026bd97899961b2dc6d921fa71b4 /Category/Monoidal/Instance/Nat.agda | |
| parent | 53e6ee67c618b37c73cf7668b4b3f71ec9b17949 (diff) | |
Show matrix change of base functor is cartesianmain
Diffstat (limited to 'Category/Monoidal/Instance/Nat.agda')
0 files changed, 0 insertions, 0 deletions