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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[2,0,3,1],[3,2,1,0],[0,1,2,3],[1,3,0,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation414 G ∧ Equation417 G ∧ Equation427 G ∧ Equation464 G ∧ ¬Equation99 G ∧ ¬Equation359 G ∧ ¬Equation413 G ∧ ¬Equation426 G ∧ ¬Equation429 G ∧ ¬Equation436 G ∧ ¬Equation440 G ∧ ¬Equation466 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1036 G ∧ ¬Equation1049 G ∧ ¬Equation1075 G ∧ ¬Equation1223 G ∧ ¬Equation1426 G ∧ ¬Equation2035 G ∧ ¬Equation2238 G ∧ ¬Equation2447 G ∧ ¬Equation2847 G ∧ ¬Equation3253 G ∧ ¬Equation3545 G ∧ ¬Equation3721 G ∧ ¬Equation3725 G ∧ ¬Equation3862 G ∧ ¬Equation4167 G ∧ ¬Equation4283 G ∧ ¬Equation4380 G ∧ ¬Equation4635 G