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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[2,0,3,1],[3,1,1,3],[3,2,2,3],[1,3,3,1]]» : ∃ (G : Type) (x : Magma G), Equation417 G ∧ Equation419 G ∧ Equation620 G ∧ Equation622 G ∧ Equation1026 G ∧ Equation1038 G ∧ Equation1045 G ∧ Equation1239 G ∧ Equation1241 G ∧ Equation1248 G ∧ Equation3662 G ∧ Equation3725 G ∧ ¬Equation99 G ∧ ¬Equation413 G ∧ ¬Equation414 G ∧ ¬Equation426 G ∧ ¬Equation427 G ∧ ¬Equation429 G ∧ ¬Equation436 G ∧ ¬Equation437 G ∧ ¬Equation440 G ∧ ¬Equation632 G ∧ ¬Equation639 G ∧ ¬Equation643 G ∧ ¬Equation817 G ∧ ¬Equation1023 G ∧ ¬Equation1039 G ∧ ¬Equation1046 G ∧ ¬Equation1048 G ∧ ¬Equation1049 G ∧ ¬Equation1229 G ∧ ¬Equation1238 G ∧ ¬Equation1242 G ∧ ¬Equation1251 G ∧ ¬Equation1252 G ∧ ¬Equation1442 G ∧ ¬Equation1451 G ∧ ¬Equation1629 G ∧ ¬Equation1832 G ∧ ¬Equation2035 G ∧ ¬Equation2244 G ∧ ¬Equation2256 G ∧ ¬Equation2444 G ∧ ¬Equation2449 G ∧ ¬Equation2459 G ∧ ¬Equation2466 G ∧ ¬Equation2644 G ∧ ¬Equation2847 G ∧ ¬Equation3050 G ∧ ⋯