Def Mathlib.Tactic.lctxIsDefEq

Modification history

2023-02-11 15:01
Mathlib/Tactic/FailIfNoProgress.lean
feat: port Tactic.Group (#2122) …
Added Mathlib.Tactic.lctxIsDefEqView on Github →