Theorem PartialHomeomorph.extend_preimage_inter_eq

Modification history