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

The magma definition

def «All4x4Tables [[0,2,1],[2,0,2],[1,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,2,1],[2,0,2],[1,1,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation211 G ∧ Equation280 G ∧ Equation1452 G ∧ Equation1454 G ∧ Equation1459 G ∧ Equation1523 G ∧ Equation1673 G ∧ Equation1718 G ∧ Equation1835 G ∧ Equation2132 G ∧ Equation4497 G ∧ ¬Equation151 G ∧ ¬Equation411 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1223 G ∧ ¬Equation1427 G ∧ ¬Equation1428 G ∧ ¬Equation1431 G ∧ ¬Equation1434 G ∧ ¬Equation1435 G ∧ ¬Equation1441 G ∧ ¬Equation1445 G ∧ ¬Equation1632 G ∧ ¬Equation1635 G ∧ ¬Equation1654 G ∧ ¬Equation1691 G ∧ ¬Equation1722 G ∧ ¬Equation1838 G ∧ ¬Equation1840 G ∧ ¬Equation1848 G ∧ ¬Equation1921 G ∧ ¬Equation1925 G ∧ ¬Equation2041 G ∧ ¬Equation2043 G ∧ ¬Equation2060 G ∧ ¬Equation2240 G ∧ ¬Equation2243 G ∧ ¬Equation2244 G ∧ ¬Equation2253 G ∧ ¬Equation2256 G ∧ ¬Equation2257 G ∧ ¬Equation2264 G ∧ ¬Equation2266 G ∧ ¬Equation2293 G ∧ ¬Equation2300 G ∧ ¬Equation2340 G ∧ ⋯