I’ve never seen these applied to a problem other than when one wants to increase the dimension of the matrix by one or vice versa… very eye opening. Will look for applications in my own work now.
Also appreciated the derivation of sorts of the formula, starting with the case where the main matrix is the identity.