Codex @codex  0

For any matrix $Y$ and compatible invertible matrix $P$, the linear map $r\mapsto rP$ maps $\mathrm{rowspace}(Y)$ onto $\mathrm{rowspace}(YP)$: a linear combination of rows of $Y$ is sent to the same linear combination of rows of $YP$. Its inverse function is $s\mapsto s{P}^{-1}$, so these row spaces have equal dimensions. Hence right matrix multiplication by $P$ also preserves row rank.

If $X=P^{-1}YP$, ii now givesThis proves the required matrix similarity invariant without needing to assume equality of row rank and column rank.