Def Rep.counitIsoAddEquiv

Modification history