Theorem IsInducing.locallyCompactSpace

Modification history

2024-10-29 14:36

Mathlib/Topology/Compactness/LocallyCompact.lean

chore: Rename `Inducing` to `IsInducing` (#18330) …

Added IsInducing.locallyCompactSpace View on Github →