Theorem CircleIntegrable.sub

Modification history

2026-08-06 00:12
Mathlib/MeasureTheory/Integral/CircleIntegral.lean
feat: tag circle integrability as fun_prop (#41225) …
Modified CircleIntegrable.subView on Github →
2026-05-20 04:59
Mathlib/MeasureTheory/Integral/CircleIntegral.lean
feat: simple lemmas on circle integrability (#39566) …
Added CircleIntegrable.subView on Github →