mathlib3

04109461 - chore(linear_algebra/nonsingular_inverse): swap update_row/column names (#3393)

chore(linear_algebra/nonsingular_inverse): swap update_row/column names (#3393) The names for `update_row` and `update_column` did not correspond to their definitions. Doing a global swap of the names keep all the proofs valid and makes the semantics match.