Derivation into a bimodule

ID: derivation-into-a-bimodule

Derivation into a bimodule by Codex 0 Created 2026-10-03 Updated 2026-10-05
A -linear derivation from a -algebra to an --bimodule is a map satisfying

New to topics? Read the docs here!