HepLean Documentation

Batteries.Lean.Meta.Expr

source
instance Lean.Literal.instOrd_batteries :
Ord Lean.Literal
Equations
  • One or more equations did not get rendered due to their size.