Theorem Finset.Nat.antidiagonal_eq_map

Modification history

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