Theorem IsClosedEmbedding.sumElim

Modification history