[Abstract Homototy Theory Seminar] The Gray tensor product of infinity categories and basic tensor-enriched category theory