chore(linear_algebra/basic): add linear_map.one_eq_id (#7063)
chore(linear_algebra/basic): add linear_map.one_eq_id (#7063)

Cherry-picked from #4773





leanprover-community/mathlib,leanprover-community/mathlib