Theorem LocalHomeomorph.singleton_hasGroupoid

Modification history