Theorem Finset.mul₀_sup'

Modification history