Typo in Math-3 Bundle

[ykaya932]

There is a type in the second and the third lines of the proof of theorem 2.4.

[ykaya932]

In the second line, it should be [...*((b_1)^2 + (b_2)^2 + (b_3)^2) - ....]

And in the third line, it should be [... - (a.b)^2]

[kayacanv]

Hi @ykaya932 ,
I saw you self-assigned this, Is there any update on this?
Thanks