In the proof for showing two lines with slope m1 m2 = -1 intersect at 90°,
tan α = - cot β
then – cot β was said to be equal to tan (90 + β) and tan (90 - β)
But isn’t tan (90 - β) = cot β ?