Def Finset.Nat.antidiagonalEquivFin

Modification history

2023-08-25 14:43

Mathlib/Data/Finset/NatAntidiagonal.lean

chore(Data/Finset/NatAntidiagonal): naming of antidiagonalEquivFin (#6784) …

Added Finset.Nat.antidiagonalEquivFin View on Github →