Theorem IsOpenEmbedding.sumElim

Modification history