diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:51:59 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:51:59 +0100 |
| commit | 43942e78f4b3ed4cfca3b508f06161d0983c545e (patch) | |
| tree | 59596ca77304b30b4c3c0e7d2a0b99b8c22a32d7 /Graded.lean | |
| parent | 7750ccdcb2afebe90da275f96e276a672a3c8a74 (diff) | |
Alg category
Diffstat (limited to 'Graded.lean')
0 files changed, 0 insertions, 0 deletions