Theorem PartialHomeomorph.eventually_left_inverse

Modification history