Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.range_diag

Modification history

2022-07-22 04:29
src/data/set/prod.lean
feat(data/set/prod): add theorems about `λ x, (x, x)` (#15604) …
Added set.range_diagView on Github →