Theorem UniformSpace.mem_uniformity_generateFilter

Modification history

2026-10-14 00:41
Mathlib/Topology/UniformSpace/Basic.lean
feat: pushforward of uniform spaces (#43312) …
Added UniformSpace.mem_uniformity_generateFilterView on Github →