mathlib3
feat(ring_theory/algebra): subalgebra_of_subring
#664

Merged

feat(ring_theory/algebra): subalgebra_of_subring #664

ChrisHughes24 merged 1 commit into master from subalgebra-of-subring

feat(ring_theory/algebra): subalgebra_of_subring

6c5985e0

cipher1024 assigned

ChrisHughes24 7 years ago

kckennylau requested a review from

ChrisHughes24 7 years ago

ChrisHughes24 approved these changes on 2019-02-02

ChrisHughes24 merged 0393ccbd into master 7 years ago

kckennylau deleted the subalgebra-of-subring branch 7 years ago

Reviewers

ChrisHughes24

Assignees

ChrisHughes24

Labels

None yet

Milestone

No milestone