TorchLean API

Docs HomeGuideExamplesGraphs

Lean.Meta.Tactic.Grind.EMatchAction

source
def Lean.Meta.Grind.Action.instantiate' :
Action
Instances For
    source
    def Lean.Meta.Grind.Action.instantiate :
    Action
    Instances For