mathlib3

f21ffb27 - Make some `map_whatever` lemmas protected