Def finSuccEquiv

Modification history