↑ Top


Subalgebra Types

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

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

module Base.Subalgebras where

open import Base.Subalgebras.Subuniverses
open import Base.Subalgebras.Subalgebras
open import Base.Subalgebras.Properties


← Base.Terms.Properties Base.Subalgebras.Subuniverses →