Theorem closedEmbedding_of_spaced_out

Modification history