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
259 stars 57 forks source link

WRITING: Write a section on Higman-Neumann laws #922

Open teorth opened 1 day ago

teorth commented 1 day ago

Report on the outcomes discussed at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Higman-Neumann.20characterization.20of.20groups

Some of the text may need to be placeholders since this is still work in progress.

JoseBrox commented 22 hours ago

claim