Def finOneEquiv

Modification history