mathlib3

7a818a80 - `protected` in `linear_map.coe_` and `special_linear_group.coe_`