diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 21:15:41 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 21:15:41 -0500 |
| commit | d7fb0a54d661f82282cb7175ba3b133aa74024ed (patch) | |
| tree | a99999ae84c4853c847d38d439e30e4701347909 /DecorationFunctor/Hypergraph.agda | |
| parent | fe6496cc72b9b6371937148b7822f2e847fc1b9a (diff) | |
Improve terminology in comment
Diffstat (limited to 'DecorationFunctor/Hypergraph.agda')
0 files changed, 0 insertions, 0 deletions