Theorem IsOpenMap.sumElim

Modification history