Theorem Int.negOnePow_abs

Modification history