Def Trunc.finLiftOn

Modification history