Def LeftIdentity

Modification history