/src/CatTheory/Exercise1/Contradiction/

• ../
• PreordersEqualEqLessEqual.agda
• SetoidsRetractsUnique.agda
• SetoidsTwoEqThree.agda