Def Lean.MVarId.exact

Modification history

2023-08-27 02:59
Mathlib/Tactic/GCongr/Core.lean
chore: cleanup Gcongr after std4#137 (#6775)
Deleted Lean.MVarId.exactView on Github →
2023-06-05 08:37
Mathlib/Tactic/GCongr/Core.lean
feat: tactic `gcongr` for "relational congruence" (#3965) …
Added Lean.MVarId.exactView on Github →