Theorem PartialHomeomorph.extend_coe_symm

Modification history