Skip to content

feat(Group Theory/Presentation): define group presentations#41936

Open
homeowmorphism wants to merge 6 commits into
leanprover-community:masterfrom
homeowmorphism:Group.Presentation
Open

feat(Group Theory/Presentation): define group presentations#41936
homeowmorphism wants to merge 6 commits into
leanprover-community:masterfrom
homeowmorphism:Group.Presentation

Commits