Commit 2023-08-24 16:07 a57b2c25
View on Github →feat: Data.Finset.NatAntidiagonal.antidiagonal_equiv_fin (#6766) as suggested by @ocfnash in https://github.com/leanprover-community/mathlib4/pull/6425#discussion_r1304089614
feat: Data.Finset.NatAntidiagonal.antidiagonal_equiv_fin (#6766) as suggested by @ocfnash in https://github.com/leanprover-community/mathlib4/pull/6425#discussion_r1304089614