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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[1,5,6,3,0,2,4],[2,4,3,1,6,5,0],[3,2,0,6,4,1,5],[4,6,2,5,1,0,3],[5,0,1,2,3,4,6],[0,3,5,4,2,6,1],[6,1,4,0,5,3,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation880 G ∧ ¬Equation1223 G