Theorem IsIntegral.inv_mem

Modification history