Skip to content

a couple corrections and a few more details

Darij Grinberg requested to merge darijgrinberg/linear-algebra:cherry-pick-7b7deb5d into master

Mostly self-explanatory. The details have been added since I think it's too tricky a proof to just talk away in one paragraph. Haven't tried to compile; I hope nothing is stupidly wrong.

Merge request reports