How to prove in Agda that every

How to prove in Agda that every equivalence in the type 𝟚 is either id or a permutation? - Stack Overflow
I would like to prove in Agda that every equivalence of the type
How to prove in Agda that every equivalence in the type 120794 is either id or a permutationStack Overflow
admin21天前
20