Theorem Finset.prodMk_inf'_inf'

Modification history