Theorem Circle.exp_inj

Modification history

2024-11-11 09:44
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
feat: Pontryagin duality for finite abelian groups (#15999) …
Added Circle.exp_injView on Github →