mathlib
e6a4c818 - chore(algebra/module/submodule): mem_to_add_subgroup (#7392)

Commit

4 years ago

chore(algebra/module/submodule): mem_to_add_subgroup (#7392)

Author

jcommelin

jcommelin

Parents

Loading