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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[1,2,4,1,0],[2,1,3,2,4],[3,4,2,0,1],[1,2,4,1,3],[4,3,1,4,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation633 G ∧ ¬Equation203 G ∧ ¬Equation255 G ∧ ¬Equation1426 G ∧ ¬Equation1629 G