Def computation.equiv

Modification history