diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-16 12:24:17 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-16 12:24:17 +0100 |
| commit | 1d968361109499a841074e7dec2970d89d0048b8 (patch) | |
| tree | e42a12283898f81feb3812e54fc2da49e08be348 /Nominal/Support.lean | |
| parent | 72d53e1435c80fc2b92dd59881488e7c195db756 (diff) | |
add fmap for M_0 algebra morphisms
Diffstat (limited to 'Nominal/Support.lean')
0 files changed, 0 insertions, 0 deletions