In HTT, a version of the adjoint functor theorem for (locally) presentable infinity categories is proven (Corollary 184.108.40.206). Is there a more refined version of this somewhere, which more closely resembles Freyd’s original version? I.e., is there a version for infinity categories which are not necessarily (locally) presentable, but requires a solution set condition? If so, a reference would be fantastic. Thanks!