aboutsummaryrefslogtreecommitdiffstats
path: root/Mathematics.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* RemovePetri Hienonen2026-02-151-5/+0
* UpdatePetri Hienonen2026-02-151-0/+5