mathlib

b670212c - fix(tactic/apply): fix ordering of goals produced by `apply` (#3777)