diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-12 13:06:10 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-12 13:06:10 +0100 |
| commit | 04d26f09a95b2f04a2ea055245826630dbd9c724 (patch) | |
| tree | fd41e24ceaa876cb421e80cd278ea916e286af74 /Algebra/Terms.lean | |
| parent | 502188498eca3e076b10aaa7a0a1763f624abe8d (diff) | |
prove depth-0 axioms
Diffstat (limited to 'Algebra/Terms.lean')
0 files changed, 0 insertions, 0 deletions