Theorem PartialHomeomorph.invFun_eq_coe

Modification history