3 ms·

You need to ask a more specific question. https://leanprover-community.github.io/theories/linear_algebra.html https://leanprover-community.github.io/theories/l

by gowld 2y ago

You need to ask a more specific question. https://leanprover-community.github.io/theories/linear_algebra.html https://leanprover-community.github.io/theories/linear_algeb...