Leibniz algebra

GPTKB entity