Page "Bra-ket notation" Paragraph 139
from
Wikipedia
with the inner product on the Hilbert space.
From the commutativity of kets with ( complex ) scalars now follows that
Page 1 of 1.
2.034 seconds.