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