Def WeakDual

Modification history

2023-08-10 19:52

Mathlib/Topology/Algebra/Module/WeakDual.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified WeakDual View on Github →

2023-04-10 13:06

Mathlib/Topology/Algebra/Module/WeakDual.lean

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

Added WeakDual View on Github →