Theorem Int.negOnePow_mul_self

Modification history