mathlib
22a9066d
- feat(topology/algebra/module/weak_dual): `weak_space` is functorial (#16441)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(topology/algebra/module/weak_dual): `weak_space` is functorial (#16441)
Author
ADedecker
Parents
c3d2b3b8
Loading
mathlib
22a9066d - feat(topology/algebra/module/weak_dual): `weak_space` is functorial (#16441)
