[Merged by Bors] - fix: shorter names for some instances

[kbuzzard]

---

This is two changes.

1. Firstly I manually name some instances (because I am debugging some tensor product stuff and it's getting annoying). For example

Algebra.TensorProduct.instCommRingTensorProductToCommSemiringToAddCommMonoidToNonUnitalNonAssocSemiringToNonUnitalNonAssocRingToNonAssocRingToRingToAddCommMonoidToNonUnitalNonAssocSemiringToNonUnitalNonAssocRingToNonAssocRingToRingToModuleToSemiringToCommSemiringToModuleToSemiringToCommSemiring : CommRing (A ⊗[R] B)

now becomes Algebra.TensorProduct.InstCommRing : CommRing (A ⊗[R] B)

2. toRing := blah generates a slightly less convoluted term than blah: ring with.

[mcdoll]

thanks!
maintainer merge

[github-actions]

🚀 Pull request has been placed on the maintainer queue by mcdoll.

[Vierkantor]

LGTM, thanks!

bors r+

[bors]

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• Build
• Check all files imported
• Lint style