mathlib3

fix(tactic/transport): make `to_additive` copy `protected`status

#2212

Merged