Theorem prod_subset_compl_diagonal_iff_disjoint
Modification history
2022-06-28 00:05
src/topology/separation.lean
chore(topology/separation): Extract `set` product lemma (#14958) …
Deleted prod_subset_compl_diagonal_iff_disjointView on Github →2019-10-12 20:07
src/topology/constructions.lean
refactor(topology): mild reorganization (#1541) …
Modified prod_subset_compl_diagonal_iff_disjointView on Github →