Theorem Continuous.image_eq_of_connectedComponent_eq

Modification history