Theorem PartialHomeomorph.restr_trans

Modification history