Add general Clipped-ASGD proofs and clean canonical claim pages

d600839

verified

SabaPivot commited on 23 days ago