diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:45:47 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:45:47 -0600 |
| commit | 004813816d88b53953fa1d8393264a4c1cf89204 (patch) | |
| tree | f88771643b36605dab29b0b7c586ccb69823e97c /Category/Instance/One/Properties.agda | |
| parent | c4367035ec0638d5639157e98e6756d3779aeee5 (diff) | |
Update list adjunction for opaqueness
Diffstat (limited to 'Category/Instance/One/Properties.agda')
0 files changed, 0 insertions, 0 deletions