Def equivHollom

Modification history