mathlib
db1788c4 - feat(ring_theory/tensor_product): Supremum of finite dimensional subalgebras (#10922)

Commit

4 years ago

feat(ring_theory/tensor_product): Supremum of finite dimensional subalgebras (#10922) The supremum of finite dimensional subalgebras is finite dimensional.

Author

tb65536

Parents

f3b380e4

mathlib db1788c4 - feat(ring_theory/tensor_product): Supremum of finite dimensional subalgebras (#10922)

mathlib
db1788c4 - feat(ring_theory/tensor_product): Supremum of finite dimensional subalgebras (#10922)