↑ Top


Subalgebra Types

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

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

module Subalgebras where

open import Subalgebras.Subuniverses
open import Subalgebras.Subalgebras
open import Subalgebras.Properties
open import Subalgebras.Func


← Terms.Func.Properties Subalgebras.Subuniverses →