Theorem SeparationQuotient.outCLM_isUniformInducing

Modification history

2024-10-21 16:43
Mathlib/Topology/Algebra/SeparationQuotient/Basic.lean
chore(Topology/Algebra/SeparationQuotient): split (#18011) …
Modified SeparationQuotient.outCLM_isUniformInducingView on Github →
2024-10-08 15:03
Mathlib/Topology/Algebra/SeparationQuotient.lean
chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …
Added SeparationQuotient.outCLM_isUniformInducingView on Github →