Theorem IsClosedMap.sumElim

Modification history