Theorem ClosedEmbedding.closed_iff_preimage_closed

Modification history