In HTT, a version of the adjoint functor theorem for (locally) presentable infinity categories is proven (Corollary 220.127.116.11). 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!