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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[0,0,2,3],[2,1,0,2],[2,1,0,2],[0,0,2,1]]» : ∃ (G : Type) (x : Magma G), Equation2300 G ∧ ¬Equation203 G ∧ ¬Equation1629 G ∧ ¬Equation2240 G ∧ ¬Equation2246 G ∧ ¬Equation2256 G ∧ ¬Equation2266 G ∧ ¬Equation2293 G ∧ ¬Equation2303 G ∧ ¬Equation2330 G ∧ ¬Equation2340 G ∧ ¬Equation2441 G ∧ ¬Equation2644 G ∧ ¬Equation3050 G ∧ ¬Equation3253 G ∧ ¬Equation3456 G ∧ ¬Equation4065 G ∧ ¬Equation4269 G ∧ ¬Equation4631 G