Theorem UniformInducing.denseInducing

Modification history

2024-09-29 00:04

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

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

Deleted UniformInducing.denseInducing View on Github →

2023-02-04 08:44

Mathlib/Topology/UniformSpace/UniformEmbedding.lean

feat: port Topology.UniformSpace.UniformEmbedding (#2038)

Added UniformInducing.denseInducing View on Github →