Theorem LocalHomeomorph.extend_coe

Modification history