diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-01-12 17:54:19 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-01-12 17:54:19 +0100 |
| commit | 12d45706082d90ae3f1d7c5bff673d6f9b808f6e (patch) | |
| tree | d1f50d1650dfa603271ad7ae01204d0559c1b4b2 /Algebra.lean | |
| parent | c02833bceaa69c632285dde4742a91b332d41c6a (diff) | |
prove well-definedness of abs
Diffstat (limited to 'Algebra.lean')
0 files changed, 0 insertions, 0 deletions