Theorem LocalHomeomorph.invFun_eq_coe

Modification history