Theorem List.Nat.length_antidiagonal

Modification history