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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[3,3,2,1],[3,3,2,0],[0,1,3,2],[2,2,0,3]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation273 G ∧ Equation280 G ∧ ¬Equation1020 G ∧ ¬Equation1629 G ∧ ¬Equation1840 G ∧ ¬Equation1921 G ∧ ¬Equation3319 G ∧ ¬Equation3353 G ∧ ¬Equation3915 G ∧ ¬Equation3962 G ∧ ¬Equation4275 G