Theorem Finset.prodMk_sup'_sup'

Modification history