Mathlib v3 is deprecated. Go to Mathlib v4

Def pontryagin_dual

Modification history

2022-08-31 20:06
src/topology/algebra/continuous_monoid_hom.lean
refactor(topology/algebra/continuous_monoid_hom): Make variables consistent (#16304) …
Modified pontryagin_dualView on Github →
2022-03-12 18:01
src/topology/algebra/continuous_monoid_hom.lean
feat(topology/algebra/continuous_monoid_hom): Define the Pontryagin dual (#12602) …
Added pontryagin_dualView on Github →