Open danmargalit opened 3 years ago
In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33
In the proof of the facts about orthogonal complements, Art Chen suggested
Therefore, all coefficients c_i are equal to zero --> Therefore, all coefficients c_i must be equal to zero
In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33
In the proof of the facts about orthogonal complements, Art Chen suggested
Therefore, all coefficients c_i are equal to zero --> Therefore, all coefficients c_i must be equal to zero