Theorem ZMod.toCircle_eq_circleExp

Modification history

2025-05-14 18:50
Mathlib/Analysis/SpecialFunctions/Complex/CircleAddChar.lean
feature(Analysis/SpecialFunctions/Complex/CircleAddChar): ZMod.toCircle_eq_circleExp (#24463) …
Added ZMod.toCircle_eq_circleExpView on Github →