Theorem IsOpen.inter_closure

Modification history