Theorem Finset.nsmul_sup'

Modification history