Theorem List.Nat.nodup_antidiagonal

Modification history