Documentation

Lean.Meta.FunInfo

Equations
Instances For