Theorem PontryaginDual.map_apply
Modification history
2025-03-14 13:35
Mathlib/Topology/Algebra/PontryaginDual.lean
feat(ContinuousMonoidHom): add notation for ContinuousMonoidHom and ContinuousAddMonoidHom (#21300) …
Modified PontryaginDual.map_applyView on Github →