NhdsKer

📁 Source: Mathlib/Topology/Compactness/NhdsKer.lean

Statistics

Metric	Count
Definitions	0
Theorems nhdsKer, nhdsKer_iff, of_nhdsKer	3
Total	3

IsCompact

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
nhdsKer 📖	mathematical	IsCompact	nhdsKer	—	nhdsKer_iff
nhdsKer_iff 📖	mathematical	—	IsCompact nhdsKer	—	IsOpen.nhdsKer_subset isOpen_iUnion
of_nhdsKer 📖	—	IsCompact nhdsKer	—	—	nhdsKer_iff

---

← Back to Index