Theorem OnePoint.isOpenMap_coe

Modification history