mathlib

52697178 - chore(linear_algebra/determinant): Move some lemmas about swaps to better files (#5201)

chore(linear_algebra/determinant): Move some lemmas about swaps to better files (#5201) These lemmas are not specific to determinants, and I need them in another file imported by `determinant`.