fpvandoorn / carleson Goto Github PK

E.g. lemma statement of 7.1.4.

See proof of 7.2.3

In the blueprint, every theorem/lemma/proposition should have a corresponding proof environment.

If the proof ends with prose, this can become the contents of the proof environment, otherwise we can just add a new line "The above argument proves \Cref{...}". The proof environment should ahve the following structure:

\begin{proof}[Proof of \Cref{...}]
  \proves{...}
  ...
\end{proof}    

843c8ca

https://github.com/PatrickMassot/checkdecls