Def ContinuousMap.setOfIdeal

Modification history

2023-06-14 00:07

Mathlib/Topology/ContinuousFunction/Ideals.lean

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

Added ContinuousMap.setOfIdeal View on Github →