summaryrefslogtreecommitdiff
path: root/Common/Nat.lean
Commit message (Collapse)AuthorAgeFilesLines
* Partial cleanup of HeapAndreas Grois2023-12-181-0/+93
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 17:55:24 +0000