Theorem LocalHomeomorph.preimage_open_of_open_symm

Modification history