diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 01:33:31 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-09 01:33:31 -0700 |
| commit | 1068ed08bc01c8f206be21d1af9ebdb1640c7c89 (patch) | |
| tree | 34f013703868a5a87b29486cb1363c0b5c74e8f5 /Data | |
| parent | 0b7d9faf4dfa9539a4b862a99ea8a1acd20a2c95 (diff) | |
Add Nat to category of maps of Mat(Bool) functor
Diffstat (limited to 'Data')
0 files changed, 0 insertions, 0 deletions