Documentation

equational_theories.Generated.All4x4Tables.Refutation543

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