Commit 2024-06-15 08:18 f9ab9348
View on Github →chore: Move antidiagonal material (#13727)
- Rename
Data.Finset.Antidiagonal
toAlgebra.Order.Antidiag.Prod
- Rename
Data.Finset.PiAntidiagonal
toAlgebra.Order.Antidiag.Finsupp
- Move
Finset.finAntidiag
from the aforementioned to a new fileAlgebra.Order.Antidiag.Pi
. This is in prevision of #13683.