mathlib
a2d048c8 - feat(analysis/schwartz_space): the derivative of Schwartz functions (#16756)

Commit

3 years ago

feat(analysis/schwartz_space): the derivative of Schwartz functions (#16756)

Author

mcdoll

mcdoll

Parents

Loading