def DocGen4.Process.TheoremInfo.ofTheoremVal (v : Lean.TheoremVal) : Lean.MetaM TheoremInfo

Equations

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