Def Lean.MVarId.congrN'

Modification history

2022-11-12 02:35
Mathlib/Tactic/Convert.lean
chore: update deps 11-10 (#576)
Deleted Lean.MVarId.congrN'View on Github →
2022-10-24 02:14
Mathlib/Tactic/Convert.lean
feat: port convert tactic (#492)
Added Lean.MVarId.congrN'View on Github →