mathlib3
61491ca3 - feat(linear_algebra/matrix): A vector is zero iff its dot product with every vector is zero (#5837)

Commit

4 years ago

feat(linear_algebra/matrix): A vector is zero iff its dot product with every vector is zero (#5837)

Author

kex-y

Parents