mathlib3

3218c373 - feat(linear_algebra/smodeq): sub_mem, eval (#8993)