Def Mathlib.Tactic.maybeProveInjective

Modification history

2023-04-22 23:19
Mathlib/Tactic/ApplyFun.lean
feat: use more function coercions in `apply_fun` (#3582) …
Added Mathlib.Tactic.maybeProveInjectiveView on Github →