Theorem List.Nat.antidiagonal_succ'

Modification history