diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-04-24 13:43:07 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-04-24 13:43:07 -0500 |
| commit | 1e5837c12480d1561361a2f6cb5296895f91dec3 (patch) | |
| tree | 535bb29424c31180eb5383acbe8d073f8d880cd9 /FinMerge.agda | |
| parent | ce4ea63db5e11b150058894f98b4a36a3003c95a (diff) | |
Add more merge and unmerge properties
Diffstat (limited to 'FinMerge.agda')
0 files changed, 0 insertions, 0 deletions