Theorem Finset.sumLift₂_eq_empty

Modification history