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

Estimated changes