Structures · Algebra

Rack

A rack is an automorphic set (a set with an action on itself by bijections) that is self-distributive. It is a shelf such that each element's action is invertible. The notations x ◃ y and x ◃⁻¹ y denote the action and the inverse action, respectively, and they are right associative.

Defined in

Mathlib.Algebra.Quandle

Shape

One type argument · adds invAct, left_inv, right_inv