Theorem OpenEmbedding.toPartialHomeomorph_left_inv

Modification history