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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[2,3,0,1],[2,3,0,1],[2,3,0,1],[2,3,0,1]]» : ∃ (G : Type) (x : Magma G), Equation13 G ∧ ¬Equation47 G ∧ ¬Equation105 G ∧ ¬Equation108 G ∧ ¬Equation203 G ∧ ¬Equation255 G ∧ ¬Equation307 G ∧ ¬Equation417 G ∧ ¬Equation420 G ∧ ¬Equation427 G ∧ ¬Equation430 G ∧ ¬Equation437 G ∧ ¬Equation440 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1023 G ∧ ¬Equation1026 G ∧ ¬Equation1029 G ∧ ¬Equation1036 G ∧ ¬Equation1039 G ∧ ¬Equation1046 G ∧ ¬Equation1049 G ∧ ¬Equation1224 G ∧ ¬Equation1226 G ∧ ¬Equation1229 G ∧ ¬Equation1239 G ∧ ¬Equation1242 G ∧ ¬Equation1249 G ∧ ¬Equation1252 G ∧ ¬Equation1426 G ∧ ¬Equation1632 G ∧ ¬Equation1635 G ∧ ¬Equation1638 G ∧ ¬Equation1648 G ∧ ¬Equation1655 G ∧ ¬Equation1833 G ∧ ¬Equation1838 G ∧ ¬Equation1841 G ∧ ¬Equation1848 G ∧ ¬Equation1851 G ∧ ¬Equation1858 G ∧ ¬Equation1861 G ∧ ¬Equation2036 G ∧ ¬Equation2038 G ∧ ¬Equation2041 G ∧ ¬Equation2044 G ∧ ¬Equation2238 G ∧ ¬Equation2441 G ∧ ¬Equation2644 G ∧ ⋯