Theorem List.Nat.antidiagonal_succ

Modification history