mathlib3
b479d3bb - feat(algebra/*): star_ring instances on free_algebra, free_monoid, ring_quot, and quaternion (#4902)

Commit

5 years ago

feat(algebra/*): star_ring instances on free_algebra, free_monoid, ring_quot, and quaternion (#4902) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

kim-em

Parents

700d5761

mathlib3 b479d3bb - feat(algebra/*): star_ring instances on free_algebra, free_monoid, ring_quot, and quaternion (#4902)

mathlib3
b479d3bb - feat(algebra/*): star_ring instances on free_algebra, free_monoid, ring_quot, and quaternion (#4902)