mathlib
00c55f5e
- feat(algebra/module/linear_map): interaction of linear maps and pointwise operations on sets (#10821)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(algebra/module/linear_map): interaction of linear maps and pointwise operations on sets (#10821)
Author
sgouezel
Parents
dfb78f7e
Loading