Portability | requires multi-parameter type classes |
---|---|

Stability | provisional |

Maintainer | mik@math.uni-jena.de |

The generic case of a k-algebra generated by a monoid.

Portability | requires multi-parameter type classes |
---|---|

Stability | provisional |

Maintainer | mik@math.uni-jena.de |

The generic case of a k-algebra generated by a monoid.