deletions | additions       diff --git a/subsection_Orthogonality_Theorem_There_is__.tex b/subsection_Orthogonality_Theorem_There_is__.tex  index 8e7ac3c..64f7e43 100644  --- a/subsection_Orthogonality_Theorem_There_is__.tex  +++ b/subsection_Orthogonality_Theorem_There_is__.tex 
...
\subsection{Orthogonality Theorem}  There is a variant of \ref{def-op} definition ~\ref{def:op}  which blah...