search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
265 stars 58 forks source link

add ref to asterix definition in section 7.2 #758

Closed dwrensha closed 1 month ago

dwrensha commented 1 month ago

section 7.2 mentions the "Asterix equation", but never recalls exactly what that equation is.

This PR adds a \Cref back to the relevant definition.

The style of the reference matches other in other chapters, e.g. https://github.com/teorth/equational_theories/blob/70e5481dbe5f931642966892c2cc7dda8cb1b02a/blueprint/src/chapter/constant.tex#L4

dwrensha commented 1 month ago

Digging through git history I made the following discovery:

The now-deleted file asterix.tex had the \Cref:

https://github.com/teorth/equational_theories/blob/88f806cecd84654bb4ced9a4426251c5fc65ebab/blueprint/src/chapter/asterix.tex#L11

but then the \Cref got removed when asterix.tex was folded into infinite_magma_constructions.tex by @zaklogician in #617. I don't think there was a good reason for the removal, but maybe @zaklogician can correct me?

teorth commented 1 month ago

Not sure why it was removed previously, but I see no harm in reinstating the \Cref.