algebra): define equivalence of algebras (#2625)

Commit

6 years ago

feat(src/ring_theory/algebra): define equivalence of algebras (#2625) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

References

Author

Oliver Nash

Parents