Derivation into a bimodule

ID: derivation-into-a-bimodule

A -linear derivation from a -algebra to an --bimodule is a map satisfying

New to topics? Read the docs here!