Theorem ZMod.toAddCircle_inj

Modification history

2024-07-07 12:05
Mathlib/Topology/Instances/AddCircle.lean
feat(Analysis/Fourier): discrete Fourier transform on `ZMod N` (#13353) …
Added ZMod.toAddCircle_injView on Github →