mathlib3
243ebd40
- embedding + algebra/group/hom
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
embedding + algebra/group/hom
References
#12349 - feat(*): fun_like instances on subtypes
Author
dupuisf
Parents
fba265e7
Loading
