Theorem PartialHomeomorph.singleton_hasGroupoid

Modification history