add DefineEvenNumber proof, more notes, and some refs#7

von-steinkirch merged 1 commit intomainfuture-ai-org/lean4-toolkit:mainfrom

moar_profsfuture-ai-org/lean4-toolkit:moar_profsCopy head branch name to clipboard