Documentation

Lean.Elab.PatternVar

Equations
Equations
Equations
Equations