mathlib
44577d47 - try to use to_additive in convolution file

Commit

3 years ago

try to use to_additive in convolution file it doesn't work

References

additive_convolution

Author

fpvandoorn

fpvandoorn

Parents

Loading