Theorem PartialHomeomorph.isOpen_extend_source

Modification history