Proof complexity as a computational lens lecture 23: Size-space trade-offs for cutting planes (cont)

Round-14 hunt: picked; source: named-course long-video search (r13 queries, single-hit channels, second look); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.