Theorem UniformInducing.equicontinuousOn_iff

Modification history

2024-10-08 15:03

Mathlib/Topology/UniformSpace/Equicontinuity.lean

chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …

Deleted UniformInducing.equicontinuousOn_iff View on Github →

2024-02-02 14:03

Mathlib/Topology/UniformSpace/Equicontinuity.lean

feat: relative versions of equicontinuity (#9286) …

Added UniformInducing.equicontinuousOn_iff View on Github →