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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[0,0,0],[0,0,1],[0,2,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation325 G ∧ Equation3483 G ∧ Equation3493 G ∧ Equation3885 G ∧ Equation3889 G ∧ Equation4410 G ∧ Equation4417 G ∧ Equation4495 G ∧ Equation4616 G ∧ ¬Equation3259 G ∧ ¬Equation3271 G ∧ ¬Equation3318 G ∧ ¬Equation3461 G ∧ ¬Equation3475 G ∧ ¬Equation3519 G ∧ ¬Equation3667 G ∧ ¬Equation3675 G ∧ ¬Equation3868 G ∧ ¬Equation3880 G ∧ ¬Equation4269 G ∧ ¬Equation4273 G ∧ ¬Equation4283 G ∧ ¬Equation4291 G ∧ ¬Equation4314 G ∧ ¬Equation4320 G ∧ ¬Equation4321 G ∧ ¬Equation4433 G ∧ ¬Equation4435 G ∧ ¬Equation4443 G ∧ ¬Equation4445 G ∧ ¬Equation4629 G