New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open

teorth opened this issue Nov 25, 2024 · 1 comment

Assignees

Owner

teorth commented Nov 25, 2024

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.

teorth added this to Equational Theories Project

teorth converted this from a draft issue

JoseBrox commented Nov 26, 2024

claim

github-actions bot assigned JoseBrox

teorth moved this from Unclaimed Outstanding Tasks to Claimed Tasks in Equational Theories Project

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment