Documentation

equational_theories.Generated.All4x4Tables.Refutation424

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