Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · section · 39b16f67
The combined conditional certification theorem
The combined conditional certification theorem · lines 2083–2089
The theorem is a conditional certification architecture in the spirit of the supplied Hawk02-A acceptance interface CheungHawk02A. It is not a report that its gravitational hypotheses have been discharged.