mathlib3
feat(ring_theory/algebra_operations): multiplication of submodules of an algebra
#658

Merged

feat(ring_theory/algebra_operations): multiplication of submodules of an algebra #658

ChrisHughes24 merged 1 commit into leanprover-community:master from leanprover-fork:submodule-mul

ChrisHughes24 commented on 2019-01-31

kckennylau force pushed from 9a5589da to a3ed643f 7 years ago

digama0 commented on 2019-01-31

kckennylau force pushed from a3ed643f to bc682257 7 years ago

sgouezel commented on 2019-01-31

kckennylau force pushed from bc682257 to 6764f020 7 years ago

ChrisHughes24 approved these changes on 2019-01-31

cipher1024 assigned

ChrisHughes24 7 years ago

feat(ring_theory/algebra_operations): multiplication of submodules of…

bef7e6ba

kckennylau force pushed from 6764f020 to bef7e6ba 7 years ago

cipher1024 approved these changes on 2019-01-31

ChrisHughes24 merged 8e381f6e into master 7 years ago

ChrisHughes24 deleted the submodule-mul branch 7 years ago

Reviewers

cipher1024

ChrisHughes24

sgouezel

digama0

Assignees

ChrisHughes24

Labels

None yet

Milestone

No milestone