mathlib3
8a57cfd8
- ring_quot.lean
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
ring_quot.lean
References
dupuisf/subtype_fun_like
#12349 - feat(*): fun_like instances on subtypes
Author
dupuisf
Parents
16b210ea
Loading
