fix a typo in the proof of proposition 140#10

cookiedoth wants to merge 1 commit intoDimaTrushin:masterDimaTrushin/LinearAlgebra2020-2021:masterfrom

cookiedoth:fredholm-alternative-fixcookiedoth/LinearAlgebra2020-2021:fredholm-alternative-fixCopy head branch name to clipboard