↑ 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 →