Theorem Finset.mapRange_finsuppAntidiag_subset

Modification history

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