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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[2,0,0,3],[3,2,1,2],[1,2,2,2],[2,2,3,2]]» : ∃ (G : Type) (x : Magma G), Equation1031 G ∧ Equation1042 G ∧ Equation1045 G ∧ Equation3282 G ∧ Equation3891 G ∧ ¬Equation108 G ∧ ¬Equation413 G ∧ ¬Equation426 G ∧ ¬Equation427 G ∧ ¬Equation429 G ∧ ¬Equation430 G ∧ ¬Equation437 G ∧ ¬Equation819 G ∧ ¬Equation832 G ∧ ¬Equation833 G ∧ ¬Equation836 G ∧ ¬Equation845 G ∧ ¬Equation1023 G ∧ ¬Equation1035 G ∧ ¬Equation1038 G ∧ ¬Equation1046 G ∧ ¬Equation1048 G ∧ ¬Equation1223 G ∧ ¬Equation1834 G ∧ ¬Equation1847 G ∧ ¬Equation1851 G ∧ ¬Equation1860 G ∧ ¬Equation3255 G ∧ ¬Equation3306 G ∧ ¬Equation3316 G ∧ ¬Equation3318 G ∧ ¬Equation3660 G ∧ ¬Equation3661 G ∧ ¬Equation3724 G ∧ ¬Equation3864 G ∧ ¬Equation3865 G ∧ ¬Equation3867 G ∧ ¬Equation3925 G ∧ ¬Equation4065 G ∧ ¬Equation4269 G ∧ ¬Equation4314 G ∧ ¬Equation4583 G ∧ ¬Equation4598 G ∧ ¬Equation4606 G ∧ ¬Equation4631 G ∧ ¬Equation4647 G