Skip to content

Normal subgroups and quotient groups#2854

Open
Taneb wants to merge 12 commits into
masterfrom
quotient-groups
Open

Normal subgroups and quotient groups#2854
Taneb wants to merge 12 commits into
masterfrom
quotient-groups

Use _,_ rather than record syntax

0ecd8e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar