Theorem Finset.nsmul_inf'

Modification history