Theorem isOpenMap_sum_elim

Modification history