mathlib3

7f14a4e4 - Protect `bounded_continuous_function.coe_` lemmas