Def PontryaginDual.mapHom

Modification history

2025-08-16 07:25
Mathlib/Topology/Algebra/PontryaginDual.lean
chore: use delta `deriving` for #380 (#28498) …
Added PontryaginDual.mapHomView on Github →