Documentation

Lean.Elab.RecommendedSpelling

Returns an array containing all recommended spellings.

Equations
    Instances For