Def Finsupp.antidiagonal'

Modification history

2026-02-24 10:38

Mathlib/Data/Finsupp/Antidiagonal.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Deleted Finsupp.antidiagonal'View on Github →

2023-02-07 13:59

Mathlib/Data/Finsupp/Antidiagonal.lean

feat: port Data.Finsupp.Antidiagonal (#2142)

Added Finsupp.antidiagonal'View on Github →