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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[2,3,2,3],[3,2,3,2],[1,0,1,0],[0,1,0,1]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1670 G ∧ Equation1673 G ∧ Equation2485 G ∧ Equation3083 G ∧ Equation3091 G ∧ ¬Equation1426 G ∧ ¬Equation1731 G ∧ ¬Equation1832 G ∧ ¬Equation2238 G ∧ ¬Equation2496 G ∧ ¬Equation2530 G ∧ ¬Equation2543 G ∧ ¬Equation2644 G ∧ ¬Equation3105 G ∧ ¬Equation3139 G ∧ ¬Equation3152 G ∧ ¬Equation3269 G ∧ ¬Equation3271 G ∧ ¬Equation3278 G ∧ ¬Equation3456 G ∧ ¬Equation3662 G ∧ ¬Equation3665 G ∧ ¬Equation3677 G ∧ ¬Equation3759 G ∧ ¬Equation4065 G ∧ ¬Equation4270 G ∧ ¬Equation4273 G ∧ ¬Equation4320 G ∧ ¬Equation4622 G