Theorem Finset.smul_nonempty_iff

Modification history