Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.nat.filter_fst_eq_antidiagonal

Modification history

2022-02-02 08:53
src/data/finset/nat_antidiagonal.lean
refactor(power_series/basic): generalize order to semirings (#11765) …
Added finset.nat.filter_fst_eq_antidiagonalView on Github →