Documentation

Mathlib.Tactic.Trace

Defines the trace tactic. #

Evaluates a term to a string (when possible), and prints it as a trace message.

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