This file is generated from the following operator table: [[3,1,1,3],[2,3,3,3],[0,1,3,3],[3,3,3,3]]
The magma definition
Equations
- One or more equations did not get rendered due to their size.
Instances For
The facts
theorem
«Facts from All4x4Tables [[3,1,1,3],[2,3,3,3],[0,1,3,3],[3,3,3,3]]» :
∃ (G : Type) (x : Magma G) (_ : Finite G),
Equation4110 G ∧ ¬Equation4070 G ∧ ¬Equation4073 G ∧ ¬Equation4081 G ∧ ¬Equation4084 G