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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[0,2,3,5,0,5,6,7],[4,1,5,1,4,5,1,5],[4,6,2,6,4,2,6,2],[4,7,7,3,4,7,3,7],[4,1,2,3,4,5,6,7],[0,1,5,5,4,5,6,5],[0,6,2,6,4,5,6,2],[0,7,7,3,4,7,3,7]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation2890 G ∧ ¬Equation2646 G ∧ ¬Equation2652 G ∧ ¬Equation2659 G ∧ ¬Equation2662 G ∧ ¬Equation2669 G ∧ ¬Equation2849 G ∧ ¬Equation2852 G ∧ ¬Equation2865 G ∧ ¬Equation2872 G ∧ ¬Equation3306 G ∧ ¬Equation4599 G ∧ ¬Equation4631 G