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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[3,2,0,1],[3,2,0,1],[2,3,1,0],[2,3,1,0]]» : ∃ (G : Type) (x : Magma G), Equation528 G ∧ Equation562 G ∧ Equation2182 G ∧ ¬Equation107 G ∧ ¬Equation413 G ∧ ¬Equation416 G ∧ ¬Equation426 G ∧ ¬Equation476 G ∧ ¬Equation503 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1225 G ∧ ¬Equation1241 G ∧ ¬Equation1251 G ∧ ¬Equation1285 G ∧ ¬Equation1322 G ∧ ¬Equation1426 G ∧ ¬Equation1629 G ∧ ¬Equation1832 G ∧ ¬Equation2037 G ∧ ¬Equation2040 G ∧ ¬Equation2060 G ∧ ¬Equation2127 G ∧ ¬Equation2134 G ∧ ¬Equation3253 G ∧ ¬Equation3456 G ∧ ¬Equation3659 G ∧ ¬Equation3864 G ∧ ¬Equation3870 G ∧ ¬Equation3880 G ∧ ¬Equation3890 G ∧ ¬Equation3918 G ∧ ¬Equation3928 G ∧ ¬Equation3955 G ∧ ¬Equation4065 G ∧ ¬Equation4269 G ∧ ¬Equation4272 G ∧ ¬Equation4284 G ∧ ¬Equation4291 G ∧ ¬Equation4380 G ∧ ¬Equation4584 G ∧ ¬Equation4590 G ∧ ¬Equation4598 G ∧ ¬Equation4599 G ∧ ¬Equation4635 G