Def ContinuousMap.opensOfIdeal

Modification history

2023-06-14 00:07

Mathlib/Topology/ContinuousFunction/Ideals.lean

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

Added ContinuousMap.opensOfIdeal View on Github →