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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[2,3,4,5,0,1],[2,3,0,5,4,1],[2,3,4,5,0,1],[4,3,2,5,0,1],[2,3,4,5,0,1],[0,3,4,5,2,1]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation960 G ∧ ¬Equation55 G ∧ ¬Equation65 G ∧ ¬Equation669 G ∧ ¬Equation676 G ∧ ¬Equation679 G ∧ ¬Equation713 G ∧ ¬Equation825 G ∧ ¬Equation845 G ∧ ¬Equation872 G ∧ ¬Equation882 G ∧ ¬Equation1434 G ∧ ¬Equation1451 G ∧ ¬Equation1491 G ∧ ¬Equation1525 G ∧ ¬Equation3915 G ∧ ¬Equation3925 G ∧ ¬Equation3952 G ∧ ¬Equation3962 G ∧ ¬Equation4118 G ∧ ¬Equation4128 G ∧ ¬Equation4155 G ∧ ¬Equation4165 G ∧ ¬Equation4275 G ∧ ¬Equation4320 G