Def Finset.piAntidiagonal

Modification history

2024-06-09 22:38

Mathlib/Data/Finset/PiAntidiagonal.lean

chore: Rename `Finset.piAntidiagonal` to `Finset.finsuppAntidiag` (#13574) …

Deleted Finset.piAntidiagonal View on Github →

2024-01-12 08:24

Mathlib/Data/Finset/PiAntidiagonal.lean

feat: add `Finset.piAntidiagonal` (#7904) …

Added Finset.piAntidiagonal View on Github →