Theorem Finset.mul_sup'

Modification history