Theorem IsOpenMap.continuousOn_image_of_leftInvOn

Modification history