Theorem denseInducing_pure

Modification history

2024-09-29 00:04

Mathlib/Topology/StoneCech.lean

chore: Rename `DenseInducing` to `IsDenseInducing` (#17208) …

Deleted denseInducing_pure View on Github →

2023-02-07 15:42

Mathlib/Topology/StoneCech.lean

feat: port Topology.StoneCech (#2147)

Added denseInducing_pure View on Github →