Theorem Circle.exp_injOn_of_forall_sub_mem_Ioo

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.exp_injOn_of_forall_sub_mem_Ioo View on Github →