Theorem WeakSpace.map_apply

Modification history

2023-04-10 13:06

Mathlib/Topology/Algebra/Module/WeakDual.lean

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

Added WeakSpace.map_apply View on Github →