Theorem LocalHomeomorph.subtypeRestr_symm_trans_subtypeRestr

Modification history