Theorem Finset.biUnion_op_smul_finset

Modification history