↑ Top

---

Overture for Setoids

This is the [Setoid.Overture][] module of the Agda Universal Algebra Library.

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

module Setoid.Overture where

open import Setoid.Overture.Preliminaries
open import Setoid.Overture.Inverses
open import Setoid.Overture.Injective
open import Setoid.Overture.Surjective
open import Setoid.Overture.Bijective

---

← Preface Setoid.Overture.Preliminaries →