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

The magma definition

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

Equations

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

The facts

theorem «Facts from All4x4Tables [[1,0],[1,0]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation13 G ∧ ¬Equation47 G ∧ ¬Equation105 G ∧ ¬Equation108 G ∧ ¬Equation203 G ∧ ¬Equation255 G ∧ ¬Equation307 G ∧ ¬Equation417 G ∧ ¬Equation420 G ∧ ¬Equation427 G ∧ ¬Equation430 G ∧ ¬Equation437 G ∧ ¬Equation440 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1023 G ∧ ¬Equation1026 G ∧ ¬Equation1029 G ∧ ¬Equation1036 G ∧ ¬Equation1039 G ∧ ¬Equation1046 G ∧ ¬Equation1049 G ∧ ¬Equation1086 G ∧ ¬Equation1113 G ∧ ¬Equation1224 G ∧ ¬Equation1226 G ∧ ¬Equation1229 G ∧ ¬Equation1239 G ∧ ¬Equation1242 G ∧ ¬Equation1249 G ∧ ¬Equation1252 G ∧ ¬Equation1426 G ∧ ¬Equation1632 G ∧ ¬Equation1635 G ∧ ¬Equation1638 G ∧ ¬Equation1648 G ∧ ¬Equation1655 G ∧ ¬Equation1722 G ∧ ¬Equation1833 G ∧ ¬Equation1838 G ∧ ¬Equation1841 G ∧ ¬Equation1848 G ∧ ¬Equation1851 G ∧ ¬Equation1858 G ∧ ¬Equation1861 G ∧ ¬Equation2036 G ∧ ¬Equation2038 G ∧ ¬Equation2041 G ∧ ⋯