A certified basis of 1 identity

This list of identities is a basis, proved in Lean, of 9 semigroups of order six, all of which generate the variety V[974]. Removing the identities that follow from the others leaves 1 identity (Vampire); the variety page shows the shortest known basis.

Identifier sb-cc782fedcd8bb7f0 in the data of the bases-min seal.

Certified for

[6, 974] [6, 2925] [6, 3243] [6, 5784] [6, 6030] [6, 7290] [6, 9885] [6, 10491] [6, 12528]

The identities

x² ≈ xy