Theorem circleIntegrable_neg_radius

Modification history

2026-02-25 17:28

Mathlib/MeasureTheory/Integral/CircleIntegral.lean

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

Added circleIntegrable_neg_radius View on Github →