mathlib

347636a7 - chore(linear_algebra/finrank): backport removal of simp lemmas (#18794)

chore(linear_algebra/finrank): backport removal of simp lemmas (#18794) Testing a solution to the simpNF linter problems at https://github.com/leanprover-community/mathlib4/pull/3378 Co-authored-by: Scott Morrison <scott.morrison@gmail.com>