Technoworcester@feddit.uk to Programmer Humor@programming.dev · 13 days agoWell. That escalated quicklyfeddit.ukimagemessage-square28linkfedilinkarrow-up1160arrow-down111
arrow-up1149arrow-down1imageWell. That escalated quicklyfeddit.ukTechnoworcester@feddit.uk to Programmer Humor@programming.dev · 13 days agomessage-square28linkfedilink
minus-squareUnpigged@lemmy.dbzer0.comlinkfedilinkarrow-up17·13 days agoLemma 1 mentions “definition of phi”, but the phi is never defined. Wtf.
minus-squareNeatNitlinkfedilinkarrow-up9·13 days agoOP posted the two pages in the wrong order, so you (and I) saw page 2 before page 1.
minus-squareWhyJiffie@sh.itjust.workslinkfedilinkEnglisharrow-up2·11 days agooh 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
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