Theorem Circle.exp_injOn_of_diff_lt

Modification history

2026-04-23 19:18
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
feat(Analysis/SpecialFunctions/Complex/Circle): Anticlockwise Path on `Circle` (#37815) …
Deleted Circle.exp_injOn_of_diff_ltView on Github →
2026-04-14 17:36
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
feat(Analysis/SpecialFunctions/Complex/Circle): `Circle.exp` is `InjOn` intervals shorter than 2π (#37813) …
Added Circle.exp_injOn_of_diff_ltView on Github →