Theorem Set.restrictPreimage_isClosedMap

Modification history