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

The magma definition

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

Equations

• «All4x4Tables [[1,1,2,1],[3,1,2,0],[3,1,2,0],[1,1,2,2]]» = { op := MemoFinOp.extractWrapper 4 [16908545, 131331, 131331, 33685761] _proof_1✝ }

The facts

theorem «Facts from All4x4Tables [[1,1,2,1],[3,1,2,0],[3,1,2,0],[1,1,2,2]]» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1650 G ∧ ¬Equation4065 G