Theorem Finset.ruzsa_triangle_inequality_mulInv_mul_mul

Modification history