Theorem LocalHomeomorph.right_inv

Modification history