Theorem denseEmbedding_pure

Modification history

2024-09-30 14:06

Mathlib/Topology/StoneCech.lean

chore: Rename `DenseEmbedding` to `IsDenseEmbedding` (#17247) …

Deleted denseEmbedding_pure View on Github →

2023-02-07 15:42

Mathlib/Topology/StoneCech.lean

feat: port Topology.StoneCech (#2147)

Added denseEmbedding_pure View on Github →