Theorem isIntegral_of_mem_closure

Modification history