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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[0,0,1],[2,1,0],[1,2,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation160 G ∧ Equation362 G ∧ Equation1454 G ∧ Equation2044 G ∧ Equation2264 G ∧ Equation2653 G ∧ Equation2850 G ∧ Equation3079 G ∧ Equation3668 G ∧ Equation4383 G ∧ ¬Equation1451 G ∧ ¬Equation2053 G ∧ ¬Equation2064 G ∧ ¬Equation2240 G ∧ ¬Equation2254 G ∧ ¬Equation2853 G ∧ ¬Equation2863 G ∧ ¬Equation3259 G ∧ ¬Equation3261 G ∧ ¬Equation3306 G ∧ ¬Equation3308 G ∧ ¬Equation3462 G ∧ ¬Equation3511 G ∧ ¬Equation3660 G ∧ ¬Equation3661 G ∧ ¬Equation3662 G ∧ ¬Equation3664 G ∧ ¬Equation3665 G ∧ ¬Equation4066 G ∧ ¬Equation4067 G ∧ ¬Equation4070 G ∧ ¬Equation4074 G ∧ ¬Equation4128 G ∧ ¬Equation4268 G ∧ ¬Equation4270 G ∧ ¬Equation4283 G ∧ ¬Equation4396 G ∧ ¬Equation4398 G ∧ ¬Equation4433 G ∧ ¬Equation4435 G ∧ ¬Equation4473 G ∧ ¬Equation4598 G ∧ ¬Equation4631 G