mathlib
012f85ac
- Add delta
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
Add delta
References
epronovost/list_prod_map
#10131 - feat(list/prod_monoid): add list.prod_map* lemmas
Author
EPronovost
Parents
84751880
Loading
