↑ Top


Subalgebras over setoids

This is the Setoid.Subalgebras module of the Agda Universal Algebra Library.

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

module Setoid.Subalgebras where

open import Setoid.Subalgebras.Subuniverses
open import Setoid.Subalgebras.Subalgebras
open import Setoid.Subalgebras.Properties


← Setoid.Terms.Properties Setoid.Subalgebras.Subuniverses →