Def Finset.finsuppAntidiag

Modification history

2024-06-09 22:38
Mathlib/Data/Finset/PiAntidiagonal.lean
chore: Rename `Finset.piAntidiagonal` to `Finset.finsuppAntidiag` (#13574) …
Added Finset.finsuppAntidiagView on Github →