148
Well. That escalated quickly
(feddit.uk)
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Lemma 1 mentions "definition of phi", but the phi is never defined. Wtf.
OP posted the two pages in the wrong order, so you (and I) saw page 2 before page 1.
Oops. Sorry.
oh I thought it's a joke that things are defined, or others are "immediate from" something else, while actually not. like how they love to teach this topic without explaining what is necessary