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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[2,3,2,0,0],[4,1,1,4,1],[2,4,2,2,2],[4,3,4,3,3],[4,4,4,4,4]]» : ∃ (G : Type) (x : Magma G), Equation3321 G ∧ ¬Equation3256 G ∧ ¬Equation3316 G ∧ ¬Equation3319 G ∧ ¬Equation4269 G ∧ ¬Equation4270 G ∧ ¬Equation4314 G ∧ ¬Equation4583 G