Documentation

Lean.Elab.BinderPredicates

Missing docs handler for binder_predicate

Equations
    Instances For