PatrickMassotcheckdecls

Tiny Lean library to check existence of declarations
No README.md in repository.