Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.prod_subset_compl_diagonal_iff_disjoint

Modification history

2022-07-12 16:39
src/data/set/prod.lean
chore(*): improve some definitional equalities (#15083) …
Modified set.prod_subset_compl_diagonal_iff_disjointView on Github →
2022-06-28 00:05
src/data/set/prod.lean
chore(topology/separation): Extract `set` product lemma (#14958) …
Added set.prod_subset_compl_diagonal_iff_disjointView on Github →