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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[1,2,3,4,5,0,6],[6,3,0,2,1,5,4],[5,4,2,6,0,3,1],[2,5,1,0,4,6,3],[4,0,5,3,6,1,2],[3,1,6,5,2,4,0],[0,6,4,1,3,2,5]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1445 G ∧ Equation1489 G ∧ Equation1516 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1482 G ∧ ¬Equation1832 G ∧ ¬Equation3253 G ∧ ¬Equation3456 G ∧ ¬Equation4065 G ∧ ¬Equation4283 G ∧ ¬Equation4284 G ∧ ¬Equation4293 G ∧ ¬Equation4314 G ∧ ¬Equation4591 G ∧ ¬Equation4599 G