↑ 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 →