ParentOccSet

Mathlib.Tactic.CC.Datatypes

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.CC.ParentOccSet

Lean4

/-- Red-black sets of `ParentOcc`s. -/
abbrev ParentOccSet :=
  Std.TreeSet ParentOcc (Ordering.byKey ParentOcc.expr compare)

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

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

Разделы

Аффилиация

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