Theorem nhdsSet_le

Modification history

2024-01-12 06:00

Mathlib/Topology/NhdsSet.lean

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

Modified nhdsSet_le View on Github →

2023-09-14 10:14

Mathlib/Topology/NhdsSet.lean

feat: Exterior of a set (#6982) …

Added nhdsSet_le View on Github →