Homepage › Solution manuals › Gilbert Strang › Introduction to Linear Algebra › Exercise 2.7.24
The condition PA = LU means
If we wait to exchange and a12 is the pivot,