Theorem circleMap_preimage_codiscrete

Modification history

2025-03-05 19:21

Mathlib/MeasureTheory/Integral/CircleIntegral.lean

feat: congruence theorems for interval/circle integrals (#22372) …

Added circleMap_preimage_codiscrete View on Github →