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

The magma definition

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

Equations

• «FinitePoly [[3,2,3,3],[3,2,2,2],[3,2,2,2],[3,2,2,2]]» = { op := MemeFinOp.opOfTable 2880154619 }

The facts

theorem «Facts from FinitePoly [[3,2,3,3],[3,2,2,2],[3,2,2,2],[3,2,2,2]]» : ∃ (G : Type) (x : Magma G), Equation4535 G ∧ ¬Equation4272 G ∧ ¬Equation4273 G ∧ ¬Equation4275 G ∧ ¬Equation4276 G ∧ ¬Equation4290 G ∧ ¬Equation4291 G ∧ ¬Equation4293 G ∧ ¬Equation4320 G ∧ ¬Equation4321 G ∧ ¬Equation4343 G ∧ ¬Equation4396 G ∧ ¬Equation4399 G ∧ ¬Equation4406 G ∧ ¬Equation4433 G ∧ ¬Equation4436 G ∧ ¬Equation4443 G ∧ ¬Equation4470 G ∧ ¬Equation4473 G ∧ ¬Equation4480 G ∧ ¬Equation4583 G ∧ ¬Equation4585 G ∧ ¬Equation4588 G ∧ ¬Equation4591 G ∧ ¬Equation4598 G ∧ ¬Equation4605 G ∧ ¬Equation4608 G ∧ ¬Equation4629 G ∧ ¬Equation4636 G ∧ ¬Equation4658 G