Theorem LocalHomeomorph.extend_preimage_inter_eq

Modification history