mathlib

0bc4a50d - feat(tactic/apply_fun): adds `apply_fun` tactic (#1184)

feat(tactic/apply_fun): adds `apply_fun` tactic (#1184) * feat(tactic/apply_fun): adds `apply_fun` tactic * move tests to test folder * elaborate function with expected type * fix merge mistake