diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-10-01 16:36:27 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-10-01 16:36:27 -0500 |
| commit | f99ae520c259bf62dd6093ca6ef7ba9181ed13f3 (patch) | |
| tree | d1a70ef5672071872bd7e9cf16f4568d5eb60f91 /FinMerge/Properties.agda | |
| parent | 89598e5a738170648393c3c111c95318ce39263a (diff) | |
Finish category of decorated cospans
Diffstat (limited to 'FinMerge/Properties.agda')
0 files changed, 0 insertions, 0 deletions