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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[3,0,0,1],[3,0,1,1],[2,2,2,2],[3,0,3,1]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation635 G ∧ Equation645 G ∧ Equation856 G ∧ ¬Equation619 G ∧ ¬Equation622 G ∧ ¬Equation819 G ∧ ¬Equation825 G ∧ ¬Equation1428 G ∧ ¬Equation1431 G ∧ ¬Equation1434 G ∧ ¬Equation1444 G ∧ ¬Equation3915 G ∧ ¬Equation3918 G ∧ ¬Equation4118 G ∧ ¬Equation4121 G ∧ ¬Equation4128 G ∧ ¬Equation4269 G ∧ ¬Equation4284 G ∧ ¬Equation4599 G