Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-07 00:12 fdfc2229

View on Github →

feat(measure_theory/integral): Circle integral transform (#13885) Some basic definitions and results related to circle integrals of a function. These form part of #13500

Estimated changes