Top Questions

1. How do I show that if a hypothesis implies not, it's the same as saying the proposition equals false (coq)?
   1 votes

   1 answers