Theorem IsIntegral.of_mem_closure'

Modification history