P
Initializing...
Theorem 8.6.1 — pairwise intersecting d-intervals have a transversal of size 2d² · Prove2Me