Theorem Homeomorph.refl_toPartialHomeomorph

Modification history