Theorem accPt_sup

Modification history