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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[3,3,1,3],[3,3,1,3],[1,1,0,0],[3,3,1,3]]» : ∃ (G : Type) (x : Magma G), Equation4419 G ∧ ¬Equation4270 G ∧ ¬Equation4272 G ∧ ¬Equation4275 G ∧ ¬Equation4276 G ∧ ¬Equation4284 G ∧ ¬Equation4290 G ∧ ¬Equation4293 G ∧ ¬Equation4343 G ∧ ¬Equation4396 G ∧ ¬Equation4399 G ∧ ¬Equation4406 G ∧ ¬Equation4470 G ∧ ¬Equation4472 G ∧ ¬Equation4473 G ∧ ¬Equation4479 G ∧ ¬Equation4480 G ∧ ¬Equation4482 G ∧ ¬Equation4583 G ∧ ¬Equation4591 G ∧ ¬Equation4598 G ∧ ¬Equation4605 G ∧ ¬Equation4608 G ∧ ¬Equation4629 G ∧ ¬Equation4636 G ∧ ¬Equation4647 G ∧ ¬Equation4656 G ∧ ¬Equation4658 G