Theorem nhdsSet_insert

Modification history

2024-01-12 06:00

Mathlib/Topology/NhdsSet.lean

chore(Topology/NhdsSet): rename type variables (#9673) …

Modified nhdsSet_insert View on Github →

2023-07-31 08:03

Mathlib/Topology/NhdsSet.lean

feat(Topology/Order/NhdsSet): new file (#6161) …

Added nhdsSet_insert View on Github →