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
Equations
- One or more equations did not get rendered due to their size.
Instances For
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