mathlib
d3d78a98 - chore(ring_theory/algebra): generalize restrict_scalars to noncommutative algebras (#2216)

Commit

6 years ago

chore(ring_theory/algebra): generalize restrict_scalars to noncommutative algebras (#2216) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

#2216 - chore(ring_theory/algebra): generalize restrict_scalars to noncommutative algebras

Author

kim-em

Parents

fe40a15a

mathlib d3d78a98 - chore(ring_theory/algebra): generalize restrict_scalars to noncommutative algebras (#2216)

mathlib
d3d78a98 - chore(ring_theory/algebra): generalize restrict_scalars to noncommutative algebras (#2216)