User:KBlott/Definition

CC Monoid (still requires work) Semiclass (still requires work)