mathlib
8cab1cd8 - feat(analysis/schwartz_space): 1-dimensional derivative (#18745)

Commit

2 years ago

feat(analysis/schwartz_space): 1-dimensional derivative (#18745)

Author

mcdoll

mcdoll

Parents

Loading