Hide more stuffs in HomotopyGroupSetIsomorphism.