Theorem Metric.exists_isOpen_isBounded_image_of_isCompact_of_continuousOn

Modification history