Documentation

Std.Lean.Name

Returns true if this a part of name that is internal or dynamically generated so that it may easily be changed.

Generally, user code should not explicitly use internal names.

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