Base.Equality module (The Agda Universal Algebra Library)

Equality

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

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

module Base.Equality where

open import Base.Equality.Welldefined     public
open import Base.Equality.Truncation      public
open import Base.Equality.Extensionality  public

← Base.Relations.Quotients Base.Equality.Welldefined →