Equation 7 implies equation 41, sort equations

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

Apache License 2.0

78 stars 20 forks source link

Equation 7 implies equation 41, sort equations #18

Closed gl3nnleblanc closed 19 hours ago

gl3nnleblanc commented 22 hours ago

A micro contribution before bed :) Added one new theorem Equation7_implies_Equation41 and moved Equation6_implies_Equation2 + Equation7_implies_Equation2 to preserve sorting