mathlib
0cd70d09 - chore(algebra/group/hom): fix additive version of docstring (#5660)

Commit

5 years ago

chore(algebra/group/hom): fix additive version of docstring (#5660)

Author

jcommelin

jcommelin

Parents

Loading