diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-20 22:26:30 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-20 22:26:30 +0200 |
| commit | bb10205c22e4518f286ab59ad0e23b14756ec851 (patch) | |
| tree | bb19c30c11ebad4f4026667e8251f7b97c0e7dbf /Graded.lean | |
| parent | 0504bfded36c773cde9a252c1ee058e0bcfab6f0 (diff) | |
some simplifications
Diffstat (limited to 'Graded.lean')
0 files changed, 0 insertions, 0 deletions