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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[1,4,4,4,3,2],[0,2,4,2,4,5],[0,3,2,2,2,5],[5,2,2,2,1,0],[5,1,1,1,2,0],[2,4,4,4,3,1]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation4084 G ∧ ¬Equation3253 G ∧ ¬Equation3659 G ∧ ¬Equation4068 G ∧ ¬Equation4070 G ∧ ¬Equation4090 G ∧ ¬Equation4131 G ∧ ¬Equation4269 G ∧ ¬Equation4270 G ∧ ¬Equation4314 G ∧ ¬Equation4606 G ∧ ¬Equation4622 G ∧ ¬Equation4631 G