Manuscript Hawk02-A@1 · Hawk02-A.tex · section · 7fbae745
Complete residual leakage
Stage 5: exact and approximate information preservation › Complete residual leakage · lines 892–898
The theorem reproduces, with hypotheses and proof stated locally,
the endpoint criterion recorded in Em05-B and Hawk01-A
CheungEm05B ({thm:constantComplement})
CheungHawk01A ({thm:complement}).