Documentation

Lean.Util.OccursCheck

Equations