Theorem LocalHomeomorph.subtypeRestr_coe

Modification history