Theorem isOpenMap_sigma_map

Modification history