∫ Утверждение Mathlib
mkSelectInsertParamsInstanceHandler
Mathlib.Tactic.Widget.SelectInsertParamsClass
URI: https://scilib.ai/kg/mathlib#Lean.Elab.mkSelectInsertParamsInstanceHandler
∫ Утверждение Mathlib
Mathlib.Tactic.Widget.SelectInsertParamsClass
URI: https://scilib.ai/kg/mathlib#Lean.Elab.mkSelectInsertParamsInstanceHandler