Theorem Finset.pluennecke_petridis_inequality_mul

Modification history