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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[0,2,3,4,5,6,1],[6,1,0,5,2,4,3],[1,4,2,0,6,3,5],[2,6,5,3,0,1,4],[3,5,1,6,4,0,2],[4,3,6,2,1,5,0],[5,0,4,1,3,2,6]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1119 G ∧ Equation2856 G ∧ ¬Equation107 G ∧ ¬Equation124 G ∧ ¬Equation127 G ∧ ¬Equation159 G ∧ ¬Equation261 G ∧ ¬Equation263 G ∧ ¬Equation413 G ∧ ¬Equation416 G ∧ ¬Equation419 G ∧ ¬Equation426 G ∧ ¬Equation429 G ∧ ¬Equation436 G ∧ ¬Equation439 G ∧ ¬Equation473 G ∧ ¬Equation476 G ∧ ¬Equation503 G ∧ ¬Equation513 G ∧ ¬Equation1022 G ∧ ¬Equation1025 G ∧ ¬Equation1028 G ∧ ¬Equation1035 G ∧ ¬Equation1045 G ∧ ¬Equation1048 G ∧ ¬Equation1082 G ∧ ¬Equation1085 G ∧ ¬Equation1109 G ∧ ¬Equation1112 G ∧ ¬Equation1122 G ∧ ¬Equation1225 G ∧ ¬Equation1228 G ∧ ¬Equation1231 G ∧ ¬Equation1238 G ∧ ¬Equation1248 G ∧ ¬Equation1251 G ∧ ¬Equation1278 G ∧ ¬Equation1285 G ∧ ¬Equation1288 G ∧ ¬Equation1312 G ∧ ¬Equation1315 G ∧ ¬Equation1322 G ∧ ¬Equation1631 G ∧ ¬Equation1634 G ∧ ¬Equation1637 G ∧ ¬Equation1644 G ∧ ¬Equation1654 G ∧ ¬Equation1657 G ∧ ⋯