Def finSuccEquivLast

Modification history