mathlib3
a923261c
- feat(data/complex/module): add instance `complex.distrib_smul` (#17115)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(data/complex/module): add instance `complex.distrib_smul` (#17115) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Author
astrainfinita
Parents
356447fe
Loading