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

The magma definition

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

Equations

• «FinitePoly [[2,0,1,0],[1,3,1,1],[2,2,3,2],[3,3,3,3]]» = { op := MemeFinOp.opOfTable 4290403602 }

The facts

theorem «Facts from FinitePoly [[2,0,1,0],[1,3,1,1],[2,2,3,2],[3,3,3,3]]» : ∃ (G : Type) (x : Magma G), Equation843 G ∧ Equation1039 G ∧ ¬Equation99 G ∧ ¬Equation411 G ∧ ¬Equation1036 G ∧ ¬Equation1832 G ∧ ¬Equation3253 G ∧ ¬Equation3659 G ∧ ¬Equation3862 G