Theorem Inducing.locallyCompactSpace

Modification history

2024-10-29 14:36

Mathlib/Topology/Compactness/LocallyCompact.lean

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

Deleted Inducing.locallyCompactSpace View on Github →

2024-09-19 08:44

Mathlib/Topology/Compactness/LocallyCompact.lean

feat(LocallyCompact): generalize `*Embedding.locallyCompactSpace` (#16291) …

Added Inducing.locallyCompactSpace View on Github →