Top Questions

1. I'm trying to build a proof in Coq that two different permutation definitions are equivalent, but the non-inductive side is not working
   2 votes

   1 answers