mathlib3
d829441c - feat(*): bump to lean 3.50.0
Commit
View On GitHub
Commit
3 years ago
feat(*): bump to lean 3.50.0
References
350
Author
gebner gebner
Parents
daf8adf1
FAQ Terms Privacy Refunds Impressum
Loading