This file is generated from the following operator table: [[0,2,1],[2,1,0],[1,0,2]]

The magma definition

def «All4x4Tables [[0,2,1],[2,1,0],[1,0,2]]» : Magma (Fin 3)

Equations

• One or more equations did not get rendered due to their size.

The facts

theorem «Facts from All4x4Tables [[0,2,1],[2,1,0],[1,0,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation102 G ∧ Equation221 G ∧ Equation228 G ∧ Equation258 G ∧ Equation273 G ∧ Equation281 G ∧ Equation313 G ∧ Equation315 G ∧ Equation365 G ∧ Equation387 G ∧ Equation430 G ∧ Equation880 G ∧ Equation882 G ∧ Equation907 G ∧ Equation909 G ∧ Equation916 G ∧ Equation1525 G ∧ Equation1719 G ∧ Equation1888 G ∧ Equation2653 G ∧ Equation2670 G ∧ Equation2700 G ∧ Equation2707 G ∧ Equation2709 G ∧ Equation3687 G ∧ Equation3751 G ∧ ¬Equation50 G ∧ ¬Equation56 G ∧ ¬Equation63 G ∧ ¬Equation65 G ∧ ¬Equation73 G ∧ ¬Equation75 G ∧ ¬Equation107 G ∧ ¬Equation108 G ∧ ¬Equation117 G ∧ ¬Equation118 G ∧ ¬Equation124 G ∧ ¬Equation159 G ∧ ¬Equation167 G ∧ ¬Equation206 G ∧ ¬Equation209 G ∧ ¬Equation211 G ∧ ¬Equation229 G ∧ ¬Equation231 G ∧ ¬Equation261 G ∧ ¬Equation264 G ∧ ¬Equation274 G ∧ ¬Equation280 G ∧ ⋯