Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.20

Date User Activity Issue Comment Hours
08 Jun 2012 John Abbott Design Feature #174: IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing.. Also for modules? 0.20
    (1-1/1)

    Also available in: Atom CSV