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: May 09 2021 at 16:20 UTC