mathlib3
a10c19d0 - doc(group_theory/*): module docs for `quotient_group` and `presented_group` (#6358)

Commit

4 years ago

doc(group_theory/*): module docs for `quotient_group` and `presented_group` (#6358) Co-authored-by: Julian-Kuelshammer <68201724+Julian-Kuelshammer@users.noreply.github.com>

Author

Julian-Kuelshammer

Parents

590442ad

mathlib3 a10c19d0 - doc(group_theory/*): module docs for `quotient_group` and `presented_group` (#6358)

mathlib3
a10c19d0 - doc(group_theory/*): module docs for `quotient_group` and `presented_group` (#6358)