Theorem nhdsWithin_iUnion

Modification history

2025-10-30 16:30

Mathlib/Topology/ContinuousOn.lean

feat(Topology): split `Mathlib.Topology.ContinuousOn` (#31090) …

Modified nhdsWithin_iUnion View on Github →

2023-05-14 07:05

Mathlib/Topology/ContinuousOn.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added nhdsWithin_iUnion View on Github →