Theorem LocalHomeomorph.extend_left_inv

Modification history