Def DirectSum.toAddMonoid

Modification history