def Auto.lam2TH0 (lamVarTy lamEVarTy : Array Embedding.Lam.LamSort) (facts : Array Embedding.Lam.LamTerm) : Lean.CoreM String

Equations

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