Theorem Finsupp.antidiagonal_filter_fst_eq

Modification history

2023-10-31 06:01

Mathlib/Data/Finsupp/Antidiagonal.lean

feat(Data.Finset.Antidiagonal): generalize `Finset.Nat.antidiagonal` (#7486) …

Deleted Finsupp.antidiagonal_filter_fst_eq View on Github →

2023-02-07 13:59

Mathlib/Data/Finsupp/Antidiagonal.lean

feat: port Data.Finsupp.Antidiagonal (#2142)

Added Finsupp.antidiagonal_filter_fst_eq View on Github →