# 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

Mathlib v3 is deprecated. Go to Mathlib v4

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