K-theory Euler class (source code)

= K-theory Euler class
{c}
{title2=$e^K(E)=\Lambda_{-1}(\overline E)$}

Pulling the K-theory Thom class back along the zero section gives
$$
e^K(E)=\Lambda_{-1}(\overline E)
=\sum_j(-1)^j[\Lambda^j\overline E].
$$