Theorem IsIntegral.inv_mem_adjoin

Modification history