Theorem Finset.mem_sumLift₂

Modification history