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

The magma definition

def «All4x4Tables [[0,0,2],[2,2,0],[0,1,0]]» : 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],[2,2,0],[0,1,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation2266 G ∧ Equation2443 G ∧ Equation2446 G ∧ ¬Equation203 G ∧ ¬Equation307 G ∧ ¬Equation1631 G ∧ ¬Equation2240 G ∧ ¬Equation2246 G ∧ ¬Equation2256 G ∧ ¬Equation2449 G ∧ ¬Equation2469 G ∧ ¬Equation2644 G ∧ ¬Equation3519 G ∧ ¬Equation3659 G ∧ ¬Equation4128 G