Theorem LocalHomeomorph.restr_trans

Modification history