Def Lean.MVarId.gcongrForward

Modification history

2023-06-05 08:37

Mathlib/Tactic/GCongr/Core.lean

feat: tactic `gcongr` for "relational congruence" (#3965) …

Added Lean.MVarId.gcongrForward View on Github →