On the explicit formula for Gauss-Jordan elimination
The elements of the successive intermediate matrices of the Gauss-Jordan elimination procedure have the form of quotients of minors. Instead of the proof using identities of determinants of \cite{Li}, a direct proof by induction is given.
math.CO↗