← Mathematical handbook

def Lean.Meta.Sym.getCongrInfo (f : Expr) : SymM CongrInfo

Equations

• One or more equations did not get rendered due to their size.