Theorem Int.shiftr_negSucc

Modification history