Theorem IsUltraUniformity.comap

Modification history

2025-03-19 05:32

Mathlib/Topology/UniformSpace/Ultra/Constructions.lean

feat(UniformSpace/Ultra): nonarchimedean uniformities of (indexed) products (#22995)

Added IsUltraUniformity.comap View on Github →