Theorem Finset.op_smul_finset_mul_eq_mul_smul_finset

Modification history