diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:19:57 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-05 23:19:57 +0100 |
| commit | aa280ca672aff145e811b79f4315ba200a09bad5 (patch) | |
| tree | ab6e3f4944c52a8ba928a2f1358084364762baf4 /Algebra.lean | |
| parent | cc3483496781b10b6acd2450117b443d03957dc4 (diff) | |
define algebras
Diffstat (limited to 'Algebra.lean')
0 files changed, 0 insertions, 0 deletions