Def PontryaginDual.map

Modification history

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