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

The magma definition

def «All4x4Tables [[0,0,2],[0,0,2],[1,1,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,2],[0,0,2],[1,1,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation3755 G ∧ ¬Equation3268 G ∧ ¬Equation3271 G ∧ ¬Equation3278 G ∧ ¬Equation3281 G ∧ ¬Equation3343 G ∧ ¬Equation3346 G ∧ ¬Equation3353 G ∧ ¬Equation3474 G ∧ ¬Equation3481 G ∧ ¬Equation3484 G ∧ ¬Equation3546 G ∧ ¬Equation3549 G ∧ ¬Equation3556 G ∧ ¬Equation3664 G ∧ ¬Equation3667 G ∧ ¬Equation3684 G ∧ ¬Equation3687 G ∧ ¬Equation3722 G ∧ ¬Equation3725 G ∧ ¬Equation3759 G ∧ ¬Equation3864 G ∧ ¬Equation3870 G ∧ ¬Equation3880 G ∧ ¬Equation3890 G ∧ ¬Equation3918 G ∧ ¬Equation3928 G ∧ ¬Equation3955 G ∧ ¬Equation4067 G ∧ ¬Equation4073 G ∧ ¬Equation4083 G ∧ ¬Equation4093 G ∧ ¬Equation4121 G ∧ ¬Equation4131 G ∧ ¬Equation4158 G ∧ ¬Equation4272 G ∧ ¬Equation4275 G ∧ ¬Equation4291 G ∧ ¬Equation4320 G ∧ ¬Equation4399 G ∧ ¬Equation4435 G ∧ ¬Equation4445 G ∧ ¬Equation4473 G ∧ ¬Equation4599 G ∧ ¬Equation4622 G ∧ ¬Equation4631 G ∧ ¬Equation4635 G