diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/CatTheory/Exercise1/Contradiction/SetoidsRetractsUnique.agda (renamed from src/CatTheory/Category/Instance/Properties/Setoids/Contradiction.agda) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CatTheory/Category/Instance/Properties/Setoids/Contradiction.agda b/src/CatTheory/Exercise1/Contradiction/SetoidsRetractsUnique.agda index 1a553d3..12aa82b 100644 --- a/src/CatTheory/Category/Instance/Properties/Setoids/Contradiction.agda +++ b/src/CatTheory/Exercise1/Contradiction/SetoidsRetractsUnique.agda @@ -1,6 +1,6 @@ {-# OPTIONS --without-K --safe #-} -module CatTheory.Category.Instance.Properties.Setoids.Contradiction where +module CatTheory.Exercise1.Contradiction.SetoidsRetractsUnique where open import Categories.Category using (Category) open import Categories.Category.Instance.Setoids |