Def Finset.finAntidiagonal

Modification history

2024-06-15 08:18

Mathlib/Algebra/Order/Antidiag/Finsupp.lean

chore: Move antidiagonal material (#13727) …

Modified Finset.finAntidiagonal View on Github →

2024-01-12 08:24

Mathlib/Data/Finset/PiAntidiagonal.lean

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

Added Finset.finAntidiagonal View on Github →