diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-09 12:15:51 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-09 12:15:51 -0500 |
| commit | ee5c56a58154840f08a18d581983d6f6f3630970 (patch) | |
| tree | cbd6bfa78690ce708667e0195d5675d4d0879ae4 /Category/Instance/Properties/SymMonCat.agda | |
| parent | 273b12e8f016fe1a716164d514af0b2683711fd2 (diff) | |
Split hypergraph label and edge into separate files
Diffstat (limited to 'Category/Instance/Properties/SymMonCat.agda')
0 files changed, 0 insertions, 0 deletions