Text this: Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic