Theorem Finset.smulAntidiagonal_min_smul_min

Modification history