Documentation

Lean.Elab.PreDefinition.WF.Basic

source
opaque Lean.Elab.WF.debug.rawDecreasingByGoal :
Lean.Option Bool
source
def Lean.Elab.WF.applyCleanWfTactic :
Tactic.TacticM Unit
Equations
    Instances For