Theorem IsOpenMap.image_interior_subset

Modification history