Theorem isClosed_setOf_map_mul

Modification history