Theorem prodMk_mem_compRel

Modification history

2025-10-24 14:57
Mathlib/Topology/UniformSpace/Defs.lean
refactor(Topology/UniformSpace): use `SetRel` (#23181) …
Deleted prodMk_mem_compRelView on Github →
2025-03-16 23:10
Mathlib/Topology/UniformSpace/Defs.lean
chore(*): rename lots of theorems (#22195) …
Added prodMk_mem_compRelView on Github →