Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.mem_range_succ_iff

Modification history

2021-01-02 00:36
src/data/finset/basic.lean
feat(algebra/big_operators/nat_antidiagonal): add prod_antidiagonal_eq_prod_range_succ (#5528) …
Added finset.mem_range_succ_iffView on Github →