Theorem Finset.Nat.antidiagonal_succ'

Modification history