diagram showing application of lemma to goal/hypothesis

Stream: new members

[rzeta0]

Just wanted to share a picture I created showing a lemma being applied to a goal, and to a hypothesis.

As a beginner, it makes clear that the correct end of the lemma must match the goal/hypothesis. And once done, the proof journey from hypothesis to real is "shortened".

lemma_goal_and_hypothesis.png