The claim conflates 'not equationally forced' with 'equational theories don't entail infinitude,' bu...
This proposition has not been edited since the history system was added.