Commit 2021-02-13 22:35 b0aae273

View on Github →

feat(algebra/category/Group/adjunctions): free_group-forgetful adjunction (#6190) Furthermore, a module doc for group_theory/free_group is provided and a few lines in this file are split.

Estimated changes