Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.mem_diagonal_iff

Modification history

2022-07-12 16:39
src/data/set/prod.lean
chore(*): improve some definitional equalities (#15083) …
Added set.mem_diagonal_iffView on Github →