Assume I have a symmetric, positive-definite matrix $S \in \mathbb{R}^{p \times p}$. Assume that there is some matrix $L \in \mathbb{R}^{n \times p}$ that has full row-rank, i.e., has rank $n$ and where $L L^T = I$.
Define $N \in \mathbb{R}^{p \times p - n}$ as an orthogonal basis for the nullspace of $L$. From some numerical experiments, it seems that the following is true.
$$\det \left( N^T S N \right) = \det(S)\det \left( L S^{-1} L^T \right)$$
I'm not sure how to prove it as I can't figure out how to replace $N$ with $L$ or vice versa. It seems related to the Sherman-Morrison-Woodbury result but it seems like it is missing a few terms.