Theorem LocalHomeomorph.IsImage.of_image_eq

Modification history