Commit 2025-07-25 08:34 3f1258fc

View on Github →

feat(UniformSpace/Ultra/Constructions): IsUltraUniformity.{bot,top} (#27454) Port of #24412.

Estimated changes

added theorem Filter.hasBasis_top
added theorem isSymmetricRel_idRel
added theorem isSymmetricRel_univ
added theorem isTransitiveRel_idRel
added theorem IsUltraUniformity.top