Def WeakDual.CharacterSpace.continuousMapEval

Modification history

2023-06-14 00:07

Mathlib/Topology/ContinuousFunction/Ideals.lean

feat: port Topology.ContinuousFunction.Ideals (#4852)

Added WeakDual.CharacterSpace.continuousMapEval View on Github →