17-1350-AKT Fri Mar 3, Brute Hour 7: Proof of the Main Lemma
January 19, 2017
2:20 PM
Verification in 170303-g0LemmaAndInvariant.nb.
Continue as in 170303-g0LemmaAndInvariant.nb.