mathlib
e3e30a5c - feat(analysis/schwartz_space): partial derivatives (#18755)

Commit

2 years ago

feat(analysis/schwartz_space): partial derivatives (#18755)

Author

mcdoll

mcdoll

Parents

Loading