Theorem IsInducing.IsClosedEmbedding.closure_image_eq

Modification history