Theorem PartialHomeomorph.trans_self_symm

Modification history