↑ Top


Subalgebras over setoids

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

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

module Subalgebras.Func where

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


← Subalgebras.Properties Subalgebras.Func.Subuniverses →