Documentation

Lean.Widget.InteractiveCode

Equations
Equations
partial def Lean.Widget.traverse.tritsLE (acc : List Nat) (n : Nat) :
Equations
Equations