Def Mathlib.Tactic.applyFunTargetFailure

Modification history

2023-04-22 23:19
Mathlib/Tactic/ApplyFun.lean
feat: use more function coercions in `apply_fun` (#3582) …
Modified Mathlib.Tactic.applyFunTargetFailureView on Github →
2022-11-07 21:25
Mathlib/Tactic/ApplyFun.lean
feat: port apply_fun (#475) …
Added Mathlib.Tactic.applyFunTargetFailureView on Github →