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

The magma definition

def «All4x4Tables [[1,2,3,4,5,6,0],[3,4,5,6,0,1,2],[5,6,0,1,2,3,4],[0,1,2,3,4,5,6],[2,3,4,5,6,0,1],[4,5,6,0,1,2,3],[6,0,1,2,3,4,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,6,0],[3,4,5,6,0,1,2],[5,6,0,1,2,3,4],[0,1,2,3,4,5,6],[2,3,4,5,6,0,1],[4,5,6,0,1,2,3],[6,0,1,2,3,4,5]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation2247 G ∧ Equation2257 G ∧ Equation2294 G ∧ ¬Equation47 G ∧ ¬Equation99 G ∧ ¬Equation151 G ∧ ¬Equation203 G ∧ ¬Equation261 G ∧ ¬Equation411 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1223 G ∧ ¬Equation1426 G ∧ ¬Equation1629 G ∧ ¬Equation1832 G ∧ ¬Equation2035 G ∧ ¬Equation2240 G ∧ ¬Equation2244 G ∧ ¬Equation2246 G ∧ ¬Equation2254 G ∧ ¬Equation2256 G ∧ ¬Equation2264 G ∧ ¬Equation2301 G ∧ ¬Equation2441 G ∧ ¬Equation2644 G ∧ ¬Equation2847 G ∧ ¬Equation3050 G ∧ ¬Equation3253 G ∧ ¬Equation3456 G ∧ ¬Equation3659 G ∧ ¬Equation3862 G ∧ ¬Equation4065 G ∧ ¬Equation4268 G ∧ ¬Equation4283 G ∧ ¬Equation4314 G ∧ ¬Equation4343 G ∧ ¬Equation4380 G ∧ ¬Equation4585 G ∧ ¬Equation4598 G ∧ ¬Equation4608 G ∧ ¬Equation4635 G