Def DirectSum.fromAddMonoid

Modification history