Theorem Homeomorph.opensCongr_symm

Modification history