Theorem IsClosedEmbedding.sum_elim

Modification history