Def finSuccAboveEquiv

Modification history