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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[1,6,2,0,5,3,4],[2,4,5,3,0,6,1],[0,2,3,4,6,1,5],[5,1,0,6,3,4,2],[4,3,1,5,2,0,6],[6,0,4,2,1,5,3],[3,5,6,1,4,2,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation2467 G ∧ ¬Equation151 G ∧ ¬Equation203 G ∧ ¬Equation1426 G ∧ ¬Equation1629 G ∧ ¬Equation1832 G ∧ ¬Equation2238 G ∧ ¬Equation2443 G ∧ ¬Equation2449 G ∧ ¬Equation2457 G ∧ ¬Equation2460 G ∧ ¬Equation3050 G ∧ ¬Equation3253 G ∧ ¬Equation3456 G ∧ ¬Equation4065 G ∧ ¬Equation4268 G ∧ ¬Equation4314 G ∧ ¬Equation4585 G ∧ ¬Equation4598 G