Theorem StrongDual.dualPairing_apply

Modification history

2025-09-11 04:25

Mathlib/Topology/Algebra/Module/StrongDual.lean

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

Deleted StrongDual.dualPairing_apply View on Github →

2025-08-11 22:14

Mathlib/Topology/Algebra/Module/StrongDual.lean

refactor(Analysis/Normed/Module/Dual): Abbrev for strong dual (#27699) …

Added StrongDual.dualPairing_apply View on Github →