Fredholm alternative for a matrix (source code)

= Fredholm alternative for a matrix
{c}

The system $Ax=b$ is solvable exactly when $b$ is orthogonal to every vector in $\ker A^T$.