Original:  The Socratic theory of love is mostly deduced from Lysis, where Socrates talks about love at a wrestling school with Lysis and his friends.
Revised:  The Socratic theory of love is mostly deduced from Lysis, where Socrates talks about love at a wrestling school in the company of Lysis and his friends.
Edit intent: clarity