Theorem IsOpen.closure_div

Modification history