Theorem isClosed_setOf_map_one

Modification history