Commit 2022-09-22 05:58 ec5f9adc

View on Github →

feat(analysis/convolution): relax typeclasses and add lemma (#16587)

  • Relax type-class conditions on measure_theory.integrable.integrable_convolution and convolution_flip
  • Add integral_convolution

Estimated changes