Theorem LocalHomeomorph.trans_of_set'

Modification history