↑ Top

---

Setoid Representation of Algebras

{-# OPTIONS --without-K --exact-split --safe #-}

module Setoid.Algebras where

open import Setoid.Algebras.Basic
open import Setoid.Algebras.Products
open import Setoid.Algebras.Congruences

---

← Setoid.Relations.Quotients Setoid.Algebras.Basic →