Operator convex function

ID: operator-convex-function

A real function on an interval is operator convex when
in the Loewner order for all Hermitian operators with spectra in and every .

New to topics? Read the docs here!