Theorem IsOpen.isOpenMap_subtype_val

Modification history