mathlib
acbe099c - feat(*): bump to lean 3.48.0 (#16292)
Commit
View On GitHub
Commit
3 years ago
feat(*): bump to lean 3.48.0 (#16292) `fin n` is a structure now.
Author
gebner gebner
Parents
87d8c4b3
FAQ Terms Privacy Refunds Impressum
Loading