Theorem nhdsKer_mono

Modification history

2026-05-04 15:38

Mathlib/Topology/NhdsKer.lean

chore: tag (almost) all `mono` lemmas as `@[gcongr]` (#38793) …

Modified nhdsKer_mono View on Github →

2025-07-09 18:24

Mathlib/Topology/NhdsKer.lean

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

Added nhdsKer_mono View on Github →