Theorem PartialHomeomorph.subtypeRestr_coe

Modification history