Algebra Is there a way to define `Eq` for this free group implementation (without implementing it twice)? Defining Eq for a Free Group Implementation: Avoiding Redundancy Implementing equality (Eq) for a free grou… December 20, 2024
