Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.continuous_on_abs_circle_transform_bounding_function

Modification history

2022-07-07 00:12
src/measure_theory/integral/circle_integral_transform.lean
feat(measure_theory/integral): Circle integral transform (#13885) …
Added complex.continuous_on_abs_circle_transform_bounding_functionView on Github →