Lemma 3.3 — a chain of prediction-based evictions has length at most $1 + S_\ell(\eta_{r,c})$

Initializing...

Lemma 3.3 — a chain of prediction-based evictions has length at most $1 + S_\ell(\eta_{r,c})$ · Prove2Me