Def PontryaginDual

Modification history

2024-02-20 23:51
Mathlib/Topology/Algebra/ContinuousMonoidHom.lean
refactor: Split off the Pontryagin dual into separate file (#10620) …
Modified PontryaginDualView on Github →
2023-05-30 08:46
Mathlib/Topology/Algebra/ContinuousMonoidHom.lean
feat: port Topology.Algebra.ContinuousMonoidHom (#4162)
Added PontryaginDualView on Github →