Theorem List.Nat.map_swap_antidiagonal

Modification history