Theorem ContinuousMap.ideal_gc

Modification history

2023-06-14 00:07

Mathlib/Topology/ContinuousFunction/Ideals.lean

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

Added ContinuousMap.ideal_gc View on Github →