This file is generated from the following operator table: [[0,3,1,3],[3,1,2,3],[3,1,2,3],[0,1,2,3]]
The magma definition
Equations
- «FinitePoly [[0,3,1,3],[3,1,2,3],[3,1,2,3],[0,1,2,3]]» = { op := MemeFinOp.opOfTable 3840403420 }
Instances For
The facts
theorem
«Facts from FinitePoly [[0,3,1,3],[3,1,2,3],[3,1,2,3],[0,1,2,3]]» :
∃ (G : Type) (x : Magma G),
Equation2259 G ∧ Equation2296 G ∧ ¬Equation211 G ∧ ¬Equation2266 G ∧ ¬Equation2303 G ∧ ¬Equation2330 G ∧ ¬Equation2449 G ∧ ¬Equation2459 G ∧ ¬Equation2469 G ∧ ¬Equation2662 G ∧ ¬Equation2699 G ∧ ¬Equation2736 G ∧ ¬Equation3052 G ∧ ¬Equation3068 G ∧ ¬Equation3078 G ∧ ¬Equation3255 G ∧ ¬Equation3306 G ∧ ¬Equation3458 G ∧ ¬Equation3464 G ∧ ¬Equation3529 G ∧ ¬Equation3664 G ∧ ¬Equation3684 G ∧ ¬Equation3712 G ∧ ¬Equation4128 G ∧ ¬Equation4269 G ∧ ¬Equation4631 G