2. Programming Q&A
  3. How to prove in Agda that every equivalence in the type 𝟚 is either id or a permutation? - Stack Overflow

How to prove in Agda that every equivalence in the type 𝟚 is either id or a permutation? - Stack Overflow

admin2025-04-17  4

I would like to prove in Agda that every equivalence of the type

转载请注明原文地址:http://www.anycun.com/QandA/1744851434a88511.html

How to prove in Agda that every equivalence in the type 120794 is either id or a permutationStack Overflow