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

The magma definition

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

Equations

• «All4x4Tables [[0,0],[0,0]]» = { op := MemoFinOp.extractWrapper 2 [0, 0] equational_theories.Generated.All4x4Tables.Refutation50._auxLemma.1 }

The facts

theorem «Facts from All4x4Tables [[0,0],[0,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation41 G ∧ ¬Equation47 G ∧ ¬Equation99 G ∧ ¬Equation151 G ∧ ¬Equation203 G ∧ ¬Equation255 G ∧ ¬Equation411 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1223 G ∧ ¬Equation1426 G ∧ ¬Equation1629 G ∧ ¬Equation1832 G ∧ ¬Equation2035 G ∧ ¬Equation2238 G ∧ ¬Equation2441 G ∧ ¬Equation2644 G ∧ ¬Equation2847 G ∧ ¬Equation3050 G