Theorem circleMap_neg_radius

Modification history

2025-05-09 13:13
Mathlib/MeasureTheory/Integral/CircleIntegral.lean
feat: add circle averages (#24427) …
Added circleMap_neg_radiusView on Github →