diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-13 00:59:43 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-13 00:59:43 +0100 |
| commit | 72d53e1435c80fc2b92dd59881488e7c195db756 (patch) | |
| tree | 46af17ba2df811ca82cfeb9bdce0ecbd13f4af27 /Nominal.lean | |
| parent | 12d45706082d90ae3f1d7c5bff673d6f9b808f6e (diff) | |
add M_1 model structure
Diffstat (limited to 'Nominal.lean')
0 files changed, 0 insertions, 0 deletions