Theorem isOpenMap_sumElim

Modification history