Theorem Finset.Nat.antidiagonal_eq_image

Modification history

2023-12-22 22:10
Mathlib/Data/Finset/NatAntidiagonal.lean
feat: Antidiagonal lemmas (#9224) …
Added Finset.Nat.antidiagonal_eq_imageView on Github →