Theorem Finset.mulConst_empty_left

Modification history