Theorem IsIntegral.of_mem_closure''

Modification history