mathlib
ffad43d2 - golf(*): `λ _, default` → `default` (#14608)
Commit
View On GitHub
Commit
3 years ago
golf(*): `λ _, default` → `default` (#14608)
Author
vihdzp vihdzp
Parents
60454dd3
FAQ Terms Privacy Refunds Impressum
Loading