Theorem Finset.antidiagonal.fst_le

Modification history