ila
ila copied to clipboard
Typo
https://github.com/QBobWatson/ila/blob/e182f6e5f0eaa2e1e4781ed0f84e10d22799597c/src/linindep.xml#L211-L213
Equatiion -> Equation
https://github.com/QBobWatson/ila/blob/e182f6e5f0eaa2e1e4781ed0f84e10d22799597c/src/projections.xml#L610-L612
\Nul(A^TA)=0 -> \Nul(A^TA)={0}