Theorem IsClosedMap.closure_image_subset

Modification history