Theorem IsClosedMap.of_nonempty

Modification history