# Commit 2024-10-29 13:45 8a2a5711

View on Github →chore(GroupTheory/QuotientGroup): split off `Defs`

file (#18348)
The goal of this PR is to have a file with the definitions for the quotient of a group by a normal subgroup.

chore(GroupTheory/QuotientGroup): split off `Defs`

file (#18348)
The goal of this PR is to have a file with the definitions for the quotient of a group by a normal subgroup.