# Documentation

Lean.Elab.Tactic.Conv.Congr

def Lean.Elab.Tactic.Conv.congr (mvarId : Lean.MVarId) (addImplicitArgs : ) (nameSubgoals : ) :
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.