Some Operator and Trace Function Convexity Theorems