mathlib

41bbdd47 - Fix unprotected reference to `continuous_map.coe_`