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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[2,0,1,3],[3,1,0,2],[0,2,3,1],[1,3,2,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation63 G ∧ Equation1692 G ∧ Equation1694 G ∧ Equation1719 G ∧ Equation1721 G ∧ Equation1888 G ∧ Equation1931 G ∧ Equation2497 G ∧ Equation2504 G ∧ Equation2533 G ∧ Equation2540 G ∧ Equation3482 G ∧ Equation3484 G ∧ Equation3546 G ∧ Equation3548 G ∧ ¬Equation65 G ∧ ¬Equation73 G ∧ ¬Equation99 G ∧ ¬Equation151 G ∧ ¬Equation203 G ∧ ¬Equation255 G ∧ ¬Equation359 G ∧ ¬Equation411 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1223 G ∧ ¬Equation1426 G ∧ ¬Equation1635 G ∧ ¬Equation1637 G ∧ ¬Equation1645 G ∧ ¬Equation1657 G ∧ ¬Equation1684 G ∧ ¬Equation1691 G ∧ ¬Equation1722 G ∧ ¬Equation1731 G ∧ ¬Equation1840 G ∧ ¬Equation1848 G ∧ ¬Equation1857 G ∧ ¬Equation1894 G ∧ ¬Equation1921 G ∧ ¬Equation2035 G ∧ ¬Equation2238 G ∧ ¬Equation2444 G ∧ ¬Equation2447 G ∧ ¬Equation2459 G ∧ ¬Equation2466 G ∧ ¬Equation2496 G ∧ ⋯