Def LeftDistributive

Modification history