search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
78 stars 19 forks source link

Typo in equation 4552 -> 4522 #16

Closed carlini closed 1 day ago

carlini commented 1 day ago

Equation 4552 is sometimes referred to as Equation 4522

See, e.g., here for the use of 4552

https://github.com/teorth/equational_theories/blob/b5c737726426c219c0f702a51bccc1eba181804a/equational_theories/Basic.lean#L62

But the source of truth calls this 4522

https://github.com/teorth/equational_theories/blob/b5c737726426c219c0f702a51bccc1eba181804a/scripts/equations.txt#L4522