you are viewing a single comment's thread
view the rest of the comments
[–] [S] 42 points 8 months ago (12 children)
  • [–] [S] 50 points 8 months ago (7 children)
  • [–] 14 points 8 months ago (3 children)

    Lemma 1 mentions "definition of phi", but the phi is never defined. Wtf.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 8 points 8 months ago (2 children)

    OP posted the two pages in the wrong order, so you (and I) saw page 2 before page 1.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 11 points 8 months ago (3 children)

    It did bother me there was no fall through.

  • source
  • parent
  • hideshow 3 child comments