Def ContinuousMap.idealOfSet

Modification history

2023-06-14 00:07

Mathlib/Topology/ContinuousFunction/Ideals.lean

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

Added ContinuousMap.idealOfSet View on Github →