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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[4,2,3,3,0],[3,2,1,3,0],[4,2,1,3,3],[4,2,1,3,0],[4,3,1,3,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1904 G ∧ ¬Equation1038 G ∧ ¬Equation1225 G ∧ ¬Equation1644 G ∧ ¬Equation1654 G ∧ ¬Equation1857 G ∧ ¬Equation3306 G ∧ ¬Equation3309 G ∧ ¬Equation3343 G ∧ ¬Equation3346 G ∧ ¬Equation3880 G ∧ ¬Equation4067 G ∧ ¬Equation4118 G ∧ ¬Equation4128 G ∧ ¬Equation4155 G ∧ ¬Equation4284 G ∧ ¬Equation4291 G ∧ ¬Equation4320 G