mathlib
4c95dd9c
- Update src/data/fun_like/basic.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Update src/data/fun_like/basic.lean Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>
References
#12349 - feat(*): fun_like instances on subtypes
Author
dupuisf
Parents
1bf588fb
Loading
