Page 348, equation 12.117 - is it valid for a complex scalar a? In the context of examples in the section 12.4. Wouldn't it be easier to reformulate as the linearity in the second argument instead?
I understand there might be different conventions for mathematicians and quantum mechanics practitioners. And pardon me, if I got lost in it.