biderivation

noun1

1. •
   A bilinear mapping which is a derivation in each variable separately.

   • We extend to the category of crossed modules of Leibniz algebras the notion of biderivation via the action of a Leibniz algebra. — 2016