Conj

Mathlib.Algebra.Quandle

URI: https://scilib.ai/kg/mathlib#Quandle.Conj

Lean4

/-- The conjugation quandle of a group.  Each element of the group acts by
the corresponding inner automorphism. -/
abbrev Conj (G : Type*) :=
  G

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

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

Разделы

Аффилиация

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