Theorem circleIntegrable_congr

Modification history

2026-04-26 08:47
Mathlib/MeasureTheory/Integral/CircleIntegral.lean
chore: fix trivial typo in theorem name (#38541) …
Added circleIntegrable_congrView on Github →