Theorem Set.one_mem_inv_mul_iff

Modification history