generalize borel_measurable_mono_on_fnc; adapt to new Isabelle version