roots

Mathlib.Tactic.CC

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

Lean4

/-- The root expressions for each equivalence class in the graph. -/
def roots (s : CCState) : List Expr :=
  CCState.rootsCore s true

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

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

Разделы

Аффилиация

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