Difference between revisions of "Talk:PPMonoid"
From ApCoCoAWiki
(No difference)
|
Revision as of 09:43, 16 July 2005
what about renaming into PPMonoid and adding it to the category CoCoALib ?
I'd think that is more useful
83.84.162.239 11:43, 16 Jul 2005 (CEST)