4.18. Tactic.KernelHom.Tactic.Utils🔗

Kernel transformation utilities

Module LeanMachineLearning.Tactic.KernelHom.Tactic.Utils contains 3 exposed declarations.

• unfoldKernelOpDefinition · 0 deps
• Lean.Meta.mkAppMInstDefinition · 0 deps
• Lean.Meta.mkAppMInst'Definition · 0 deps