Theorem Homeomorph.isLocallyHomeomorph

Modification history