Theorem List.Nat.mem_antidiagonal

Modification history