QBobWatson / gt-linalg

Interactive Linear Algebra, free online textbook at Georgia Tech
919 stars 172 forks source link

Feedback on orthogonal-complements #425

Closed gzyguo closed 2 years ago

gzyguo commented 2 years ago

In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33 The A in the first prove should be A^T