Theorem LocalHomeomorph.trans_symm_self

Modification history