Zulip Chat Archive

Stream: triage

Topic: PR #4773: feat(ring_theory/tensor_product): the base chan...

Random Issue Bot (Dec 13 2020 at 14:24):

Today I chose PR 4773 for discussion!

feat(ring_theory/tensor_product): the base change of a linear map along an algebra
Created by @Johan Commelin (@jcommelin) on 2020-10-24
Labels: awaiting-author, please-adopt

Is this PR still relevant? Any recent updates? Anyone making progress?

Last updated: Dec 20 2023 at 11:08 UTC