Theorem crcleIntegrable_congr

Modification history

2026-04-26 08:47

Mathlib/MeasureTheory/Integral/CircleIntegral.lean

chore: fix trivial typo in theorem name (#38541) …

Deleted crcleIntegrable_congr View on Github →

2026-02-25 17:28

Mathlib/MeasureTheory/Integral/CircleIntegral.lean

feat: add congruence lemmas for integrability (#35086) …

Added crcleIntegrable_congr View on Github →