Def topDualPairing

Modification history

2025-09-11 04:25

Mathlib/Topology/Algebra/Module/LinearMap.lean

chore(Topology/Algebra/Module/StrongDual): remove `strongDualPairing` and move contents (#29320) …

Modified topDualPairing View on Github →

2023-04-10 13:06

Mathlib/Topology/Algebra/Module/WeakDual.lean

feat: port Topology.Algebra.Module.WeakDual (#3366)

Added topDualPairing View on Github →