Theorem IsIntegral.mem_of_inv_mem

Modification history