Trace inequalities#Effros's theorem and its extension

  1. REDIRECT Trace inequality

{{R from move}}