Theorem Finset.antidiagonal_congr'

Modification history