Implications between all equational laws for magmas involving at most four operations

Terence Tao, Pietro Monticone, Shreyas Srinivas

Completeness. We completely classify the relations between 4694 equational laws for magmas.

This database contains the complete set of implications between the 4694 equational laws for magmas involving at most four operations. These implications are formally verified in the proof assistant language Lean.