SabaPivot's picture
Audit Figure 12 prior counterexample and narrow Claim 3 verdict
2dbc9b8 verified