Bimodule-valued mixed chain rule for Weiss derivatives
Bimodule chain-rule conjecture. For functors
Mixed chain rule for Weiss derivatives
Mixed chain-rule conjecture. There is an equivalence of right K(OEpi)K(\mathsf{OEpi})K(OEpi)-modules