v1.0.1
Wrapped the definitions provided by this library within a module to prevent namespace collisions. Also marked the Forall_tail and Exists_impl proofs as local since I plan to eventually ask the library maintainers to add them to the Standard Library.Finally, I renamed pigeons.v to pigeonhole_principle.v for clarity.