Theorem Int.negOnePow_two_mul_add_one

Modification history