Theorem Finset.sumLift₂_mono

Modification history