Theorem DirectSum.of_eq_of_gradedMonoid_eq

Modification history