Mathlib Changelog
v4
Changelog
About
Github
Def
PontryaginDual.map
Modification history
2025-08-16 07:25
Mathlib/Topology/Algebra/PontryaginDual.lean
chore: use delta `deriving` for #380 (#28498) …
Added
PontryaginDual.map
View on Github →