This file is generated from the following operator table: [[1,2,4,2,0],[3,4,1,1,1],[3,2,4,2,2],[3,3,3,4,3],[3,4,4,4,4]]
The magma definition
Equations
- «FinitePoly [[1,2,4,2,0],[3,4,1,1,1],[3,2,4,2,2],[3,3,3,4,3],[3,4,4,4,4]]» = { op := MemeFinOp.opOfTable 297907822150931611 }
Instances For
The facts
theorem
«Facts from FinitePoly [[1,2,4,2,0],[3,4,1,1,1],[3,2,4,2,2],[3,3,3,4,3],[3,4,4,4,4]]» :
∃ (G : Type) (x : Magma G), Equation443 G ∧ ¬Equation3862 G