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

Reply via email to