diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-28 12:42:37 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-28 12:42:37 -0600 |
| commit | 1fae89c1c06a9a4d6143cafa1afb932b94cc4b71 (patch) | |
| tree | 31661af5b2cb9e474e6bc84f0d3a9dec1271be12 /Util.agda | |
| parent | d65d60fe31f0c25c7e845d66e37c47e4f22924e1 (diff) | |
Add coequalizer theorem
Diffstat (limited to 'Util.agda')
| -rw-r--r-- | Util.agda | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +{-# OPTIONS --without-K --safe #-} module Util where open import Data.Fin using (Fin; toℕ) |