↑ Top
This is the Base.Terms module of the Agda Universal Algebra Library.
{-# OPTIONS --without-K --exact-split --safe #-} module Base.Terms where open import Base.Terms.Basic open import Base.Terms.Properties open import Base.Terms.Operations
← Base.Homomorphisms.HomomorphicImages Base.Terms.Basic →