Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-22 14:12 a10c19d0

View on Github →

doc(group_theory/*): module docs for quotient_group and presented_group (#6358)

Estimated changes

Modified src/group_theory/presented_group.lean

modified theorem presented_group.to_group.unique

modified def presented_group.to_group

Modified src/group_theory/quotient_group.lean