This file is generated from the following operator table: [[1,0,0,3],[1,1,1,1],[2,2,2,2],[2,3,3,3]]
The magma definition
Equations
- «FinitePoly [[1,0,0,3],[1,1,1,1],[2,2,2,2],[2,3,3,3]]» = { op := MemeFinOp.opOfTable 4272575937 }
Instances For
The facts
theorem
«Facts from FinitePoly [[1,0,0,3],[1,1,1,1],[2,2,2,2],[2,3,3,3]]» :
∃ (G : Type) (x : Magma G),
Equation841 G ∧ ¬Equation108 G ∧ ¬Equation414 G ∧ ¬Equation427 G ∧ ¬Equation430 G ∧ ¬Equation436 G ∧ ¬Equation437 G ∧ ¬Equation439 G ∧ ¬Equation440 G ∧ ¬Equation823 G ∧ ¬Equation842 G ∧ ¬Equation843 G ∧ ¬Equation845 G ∧ ¬Equation846 G ∧ ¬Equation1023 G ∧ ¬Equation1036 G ∧ ¬Equation1039 G ∧ ¬Equation1046 G ∧ ¬Equation1049 G ∧ ¬Equation1252 G ∧ ¬Equation1851 G ∧ ¬Equation1857 G ∧ ¬Equation1860 G ∧ ¬Equation1861 G ∧ ¬Equation3256 G ∧ ¬Equation3306 G ∧ ¬Equation3315 G ∧ ¬Equation3318 G ∧ ¬Equation3663 G ∧ ¬Equation3665 G ∧ ¬Equation3729 G ∧ ¬Equation3864 G ∧ ¬Equation3865 G ∧ ¬Equation3870 G ∧ ¬Equation4066 G ∧ ¬Equation4067 G ∧ ¬Equation4068 G ∧ ¬Equation4070 G ∧ ¬Equation4071 G ∧ ¬Equation4073 G ∧ ¬Equation4270 G ∧ ¬Equation4314 G ∧ ¬Equation4583 G ∧ ¬Equation4598 G ∧ ¬Equation4631 G