Theorem Circle.range_path_ssubset_univ

Modification history

2026-04-23 19:18
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
feat(Analysis/SpecialFunctions/Complex/Circle): Anticlockwise Path on `Circle` (#37815) …
Added Circle.range_path_ssubset_univView on Github →