Schauder theorem for compact operators (source code)

= Schauder theorem for compact operators
{c}

A bounded operator $T:X\to Y$ between <Banach spaces> is compact if and only if its <dual map of bounded linear operator> $T^*:Y^*\to X^*$ is compact.