Theorem AddChar.doubleDualEquiv_symm_doubleDualEmb_apply

Modification history

2024-11-11 09:44
Mathlib/Analysis/Fourier/FiniteAbelian/PontryaginDuality.lean
feat: Pontryagin duality for finite abelian groups (#15999) …
Added AddChar.doubleDualEquiv_symm_doubleDualEmb_applyView on Github →