Def RightDistributive

Modification history