diff options
| author | Petri Hienonen <petri.hienonen@gmail.com> | 2026-02-15 14:23:31 +0200 |
|---|---|---|
| committer | Petri Hienonen <petri.hienonen@gmail.com> | 2026-02-15 14:23:31 +0200 |
| commit | bb570329a9265891e01d8fedb903ca4715dad316 (patch) | |
| tree | 68f0353d43ea2835755f00388ed0c59a1fb10e62 /Mathematics.lean | |
| download | kb-bb570329a9265891e01d8fedb903ca4715dad316.tar.zst | |
Works
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions