Theorem Finsupp.swap_mem_antidiagonal

Modification history