This file is generated from the following operator table: [[3,3,0,0],[3,3,1,1],[2,2,0,2],[3,3,3,2]]
The magma definition
Equations
- «FinitePoly [[3,3,0,0],[3,3,1,1],[2,2,0,2],[3,3,3,2]]» = { op := MemeFinOp.opOfTable 3213516559 }
Instances For
The facts
theorem
«Facts from FinitePoly [[3,3,0,0],[3,3,1,1],[2,2,0,2],[3,3,3,2]]» :
∃ (G : Type) (x : Magma G),
Equation361 G ∧ Equation433 G ∧ Equation839 G ∧ Equation1230 G ∧ ¬Equation105 G ∧ ¬Equation108 G ∧ ¬Equation436 G ∧ ¬Equation437 G ∧ ¬Equation440 G ∧ ¬Equation835 G ∧ ¬Equation840 G ∧ ¬Equation842 G ∧ ¬Equation845 G ∧ ¬Equation846 G ∧ ¬Equation1036 G ∧ ¬Equation1039 G ∧ ¬Equation1046 G ∧ ¬Equation1049 G ∧ ¬Equation1227 G ∧ ¬Equation1239 G ∧ ¬Equation1242 G ∧ ¬Equation1250 G ∧ ¬Equation1252 G ∧ ¬Equation1851 G ∧ ¬Equation1857 G ∧ ¬Equation1860 G ∧ ¬Equation1861 G ∧ ¬Equation3256 G ∧ ¬Equation3318 G ∧ ¬Equation3659 G ∧ ¬Equation3865 G ∧ ¬Equation3928 G ∧ ¬Equation4066 G ∧ ¬Equation4067 G ∧ ¬Equation4068 G ∧ ¬Equation4071 G ∧ ¬Equation4270 G ∧ ¬Equation4293 G ∧ ¬Equation4314 G ∧ ¬Equation4583 G ∧ ¬Equation4598 G ∧ ¬Equation4606 G ∧ ¬Equation4636 G