SabaPivot's picture
Replace reduced SAM proxy with exact Theorem 7 construction
85e761f verified