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

The magma definition

def «All4x4Tables [[0,0,1],[1,1,0],[0,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,1],[1,1,0],[0,0,1]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation3947 G ∧ Equation4143 G ∧ Equation4521 G ∧ ¬Equation359 G ∧ ¬Equation3253 G ∧ ¬Equation3456 G ∧ ¬Equation3665 G ∧ ¬Equation3667 G ∧ ¬Equation3712 G ∧ ¬Equation3714 G ∧ ¬Equation3865 G ∧ ¬Equation3868 G ∧ ¬Equation3917 G ∧ ¬Equation4067 G ∧ ¬Equation4070 G ∧ ¬Equation4121 G ∧ ¬Equation4128 G ∧ ¬Equation4396 G ∧ ¬Equation4398 G ∧ ¬Equation4433 G ∧ ¬Equation4435 G ∧ ¬Equation4470 G ∧ ¬Equation4472 G ∧ ¬Equation4583 G ∧ ¬Equation4599 G ∧ ¬Equation4629 G ∧ ¬Equation4631 G