mathlib3

chore(algebra/module): cleanup `is_linear_map`

#2296

Merged