bilinear form documentation reversed

Stream: general

[Sahan Wijetunga]

The documentation for LinearMap.BilinForm.orthogonal seems to be reversed from what is in the actual code

[Bjørn Kjos-Hanssen]

Agreed. You could make a pull request to fix it if you want.

[Sahan Wijetunga]

Do I create the pull request to leanprover-community/mathlib4 with base master?

[Kenny Lau]

yes