cornell-note [1] [for what-is-diag-lemma] new unknown information: "theory" could-relate-to "theorem", mybe collextion or unproven
1: https://www.cs.cornell.edu/courses/cs4860/2009sp/lec-23.pdf
cornell-note [1] [for what-is-diag-lemma] new unknown information: "theory" could-relate-to "theorem", mybe collextion or unproven
1: https://www.cs.cornell.edu/courses/cs4860/2009sp/lec-23.pdf