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

The magma definition

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

Equations

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

The facts

theorem «Facts from FinitePoly [[1,2,3,4,5,0],[4,1,2,5,0,3],[3,0,5,2,1,4],[0,5,4,3,2,1],[5,4,1,0,3,2],[2,3,0,1,4,5]]» : ∃ (G : Type) (x : Magma G), Equation2331 G ∧ ¬Equation411 G ∧ ¬Equation680 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1426 G ∧ ¬Equation2441 G ∧ ¬Equation3050 G ∧ ¬Equation4380 G