Theorem IsOpen.div_closure

Modification history