Theorem isOpenMap_barycentric_coord

Modification history