Enumerating Small Finite Magmas

describe the process of automatically generating these implications here.

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.