Theorem Finset.piAntidiagonal_empty_of_ne_zero

Modification history

2024-06-09 22:38
Mathlib/Data/Finset/PiAntidiagonal.lean
chore: Rename `Finset.piAntidiagonal` to `Finset.finsuppAntidiag` (#13574) …
Deleted Finset.piAntidiagonal_empty_of_ne_zeroView on Github →
2024-01-12 08:24
Mathlib/Data/Finset/PiAntidiagonal.lean
feat: add `Finset.piAntidiagonal` (#7904) …
Added Finset.piAntidiagonal_empty_of_ne_zeroView on Github →