Theorem UniformInducing.uniformGroup

Modification history

2023-12-05 05:47

Mathlib/Topology/Algebra/UniformGroup.lean

feat(UniformGroup): add `UniformInducing.uniformGroup` (#8813)

Added UniformInducing.uniformGroup View on Github →