Theorem AddChar.expect_apply_eq_ite

Modification history

2025-02-16 15:58
Mathlib/Analysis/Fourier/FiniteAbelian/PontryaginDuality.lean
chore(*): fix some Fintype/DecidableEq linter errors (#21943)
Modified AddChar.expect_apply_eq_iteView on Github →
2024-11-11 09:44
Mathlib/Analysis/Fourier/FiniteAbelian/PontryaginDuality.lean
feat: Pontryagin duality for finite abelian groups (#15999) …
Added AddChar.expect_apply_eq_iteView on Github →