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

The magma definition

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

Equations

• One or more equations did not get rendered due to their size.

The facts

theorem «Facts from FinitePoly [[3,2,1,4,3,4],[2,2,0,0,5,4],[3,2,1,0,5,4],[2,2,0,0,5,4],[3,2,1,0,5,4],[3,2,1,4,3,4]]» : ∃ (G : Type) (x : Magma G), Equation1697 G ∧ ¬Equation1931 G ∧ ¬Equation2134 G ∧ ¬Equation3880 G ∧ ¬Equation3890 G ∧ ¬Equation3952 G ∧ ¬Equation3962 G ∧ ¬Equation4073 G ∧ ¬Equation4093 G ∧ ¬Equation4606 G