Theorem IsOpenMap.preimage_closure_eq_closure_preimage

Modification history