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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[0,0,2],[1,2,2],[1,0,1]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation159 G ∧ Equation1640 G ∧ ¬Equation1426 G ∧ ¬Equation1644 G ∧ ¬Equation1654 G ∧ ¬Equation1657 G ∧ ¬Equation1832 G ∧ ¬Equation2035 G ∧ ¬Equation3255 G ∧ ¬Equation3261 G ∧ ¬Equation3306 G ∧ ¬Equation3309 G ∧ ¬Equation3316 G ∧ ¬Equation3319 G ∧ ¬Equation3456 G ∧ ¬Equation3862 G ∧ ¬Equation4065 G ∧ ¬Equation4269 G ∧ ¬Equation4284 G ∧ ¬Equation4380 G ∧ ¬Equation4599 G ∧ ¬Equation4631 G