Theorem Finset.sumLift₂_nonempty

Modification history