Theorem nhdsKer_def

Modification history

2026-10-13 14:51

Mathlib/Topology/NhdsKer.lean

refactor(Data): make `Set` a one-field structure (#41506) …

Modified nhdsKer_def View on Github →

2025-07-09 18:24

Mathlib/Topology/NhdsKer.lean

style(Mathlib/Topology): rename `exterior` (2/2) (#26919) …

Added nhdsKer_def View on Github →