Theorem LocalHomeomorph.eventually_left_inverse

Modification history