injective): divisible groups are injective in category of `AddCommGroup` (#16110)

Commit

3 years ago

feat(algebra/category/Group/injective): divisible groups are injective in category of `AddCommGroup` (#16110)

Author

jjaassoonn

Parents