Documentation

Mathlib.Tactic.TypeCheck

Type check the given expression, and trace its type.

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