Theorem Finset.exists_ne_one_of_prod_ne_one

Modification history