Theorem Finset.not_one_mem_inv_mul_iff

Modification history