Theorem topDualPairing_apply
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_applyView on Github →