instSelectInsertParamsClassSelectInsertParams

Mathlib.Tactic.Widget.SelectPanelUtils

URI: https://scilib.ai/kg/mathlib#instSelectInsertParamsClassSelectInsertParams

Lean4

instance : SelectInsertParamsClass✝ (@SelectInsertParams✝) :=
  ⟨fun prop✝ => prop.pos✝, fun prop✝ => prop.goals✝, fun prop✝ => prop.selectedLocations✝, fun prop✝ =>
    prop.replaceRange✝⟩

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru